2023-07-31 14:27:24 +02:00
|
|
|
{
|
2023-07-31 14:18:02 +02:00
|
|
|
|
|
|
|
description = "My various NixOs configurations";
|
|
|
|
|
|
|
|
inputs = {
|
|
|
|
nixpkgs.url = "github:NixOs/nixpkgs/nixos-23.05";
|
|
|
|
home-manager.url = "github:nix-community/home-manager/release-23.05";
|
|
|
|
home-manager.inputs.nixpkgs.follows = "nixpkgs";
|
2023-09-12 21:28:31 +02:00
|
|
|
julia2nix.url = "github:codedownio/julia2nix/v1.0.0";
|
|
|
|
julia2nix.inputs.nixpkgs.follows = "nixpkgs";
|
2023-07-31 14:18:02 +02:00
|
|
|
};
|
|
|
|
|
2023-09-12 21:28:31 +02:00
|
|
|
outputs = { self, nixpkgs, home-manager, julia2nix }: {
|
2023-07-31 14:18:02 +02:00
|
|
|
|
|
|
|
nixosConfigurations.lambda = nixpkgs.lib.nixosSystem {
|
|
|
|
system = "x86_64-linux";
|
|
|
|
modules = [
|
|
|
|
{
|
|
|
|
nix.registry.nixpkgs.flake = nixpkgs;
|
|
|
|
system.configurationRevision = nixpkgs.lib.mkIf (self ? rev) self.rev;
|
|
|
|
}
|
|
|
|
./lambda/configuration.nix
|
|
|
|
home-manager.nixosModules.home-manager
|
2023-09-12 21:28:31 +02:00
|
|
|
({ pkgs, ...}: {
|
2023-07-31 14:18:02 +02:00
|
|
|
home-manager = {
|
|
|
|
useGlobalPkgs = true;
|
|
|
|
useUserPackages = true;
|
2023-09-12 21:28:31 +02:00
|
|
|
users.rachel = import ./home/rachel.nix {
|
|
|
|
inherit pkgs;
|
|
|
|
julia2nix = julia2nix.packages."x86_64-linux".default;
|
|
|
|
} ;
|
2023-07-31 14:18:02 +02:00
|
|
|
};
|
2023-09-12 21:28:31 +02:00
|
|
|
})
|
2023-07-31 14:18:02 +02:00
|
|
|
];
|
|
|
|
};
|
2023-08-19 16:58:57 +02:00
|
|
|
|
|
|
|
nixosConfigurations.computational = nixpkgs.lib.nixosSystem {
|
|
|
|
system = "x86_64-linux";
|
|
|
|
modules = [
|
|
|
|
{
|
|
|
|
nix.registry.nixpkgs.flake = nixpkgs;
|
|
|
|
system.configurationRevision = nixpkgs.lib.mkIf (self ? rev) self.rev;
|
|
|
|
}
|
|
|
|
./computational/configuration.nix
|
|
|
|
home-manager.nixosModules.home-manager
|
|
|
|
{
|
|
|
|
home-manager = {
|
|
|
|
useGlobalPkgs = true;
|
|
|
|
useUserPackages = true;
|
|
|
|
users.rachel = import ./home/rachel.nix;
|
|
|
|
};
|
|
|
|
}
|
|
|
|
];
|
|
|
|
};
|
|
|
|
|
2023-07-31 14:18:02 +02:00
|
|
|
};
|
|
|
|
}
|