# Home-manager configuration