| 17 Jul 2025 |
 atagen | using nix run to enter a dev shell seems a little off but if you put the bash script into the shell packages and execute it in shellHook I think you can achieve what you want | 04:17:34 |
| atagen | using nix run to enter a dev shell seems a little off but if you put the bash script into the shell packages and execute it in shellHook I think you can achieve what you want with just the nix develop cmd | 04:17:44 |
 woobilicious | open the flake in nix repl and look at the devShell attrset to see how it works. and I think for nix run to work you just set mainProgram in the meta section of a package, plenty of examples in nixpkgs. | 06:17:36 |
|  jsnf joined the room. | 15:00:04 |
|  Thibaut joined the room. | 18:20:07 |
|  Tom joined the room. | 18:58:42 |
| 18 Jul 2025 |
|  @haauler:matrix.org joined the room. | 14:23:39 |
| Thibaut set a profile picture. | 21:52:51 |
| 21 Jul 2025 |
|  @exaltia:chat.exaltia.fr left the room. | 11:07:58 |
| 22 Jul 2025 |
| @exaltia:chat.exaltia.fr joined the room. | 02:21:11 |
|  ayoreis joined the room. | 15:32:16 |
| ayoreis | using a flake with nixos configuration, should i use the imports list in configuration.nix, or the modules list in flake.nix for including hardware-configuration.nix? | 15:34:25 |
| ayoreis | same question with disko-config.nix | 15:55:22 |
| Thibaut | I use this:
{
inputs = {
nixpkgs.url = "github:NixOS/nixpkgs/nixos-25.05";
home-manager.url = "github:nix-community/home-manager/release-25.05";
nixpkgs-unstable.url = "github:NixOS/nixpkgs/nixos-unstable";
nixpkgs-unfree.url = "github:numtide/nixpkgs-unfree";
nixpkgs-unfree.inputs.nixpkgs.follows = "nixpkgs-unstable";
};
outputs = {
self,
nixpkgs,
home-manager,
nixpkgs-unstable,
...
} @ attrs: {
nixosConfigurations.laptopname = nixpkgs.lib.nixosSystem {
system = "x86_64-linux";
specialArgs = attrs;
modules = [
./configuration.nix
];
};
};
}
and my configuration.nix includes everything for me
| 15:58:18 |
|  Max joined the room. | 18:57:01 |
| 24 Jul 2025 |
|  codgician changed their profile picture. | 16:58:08 |
