2021-11-21 14:33:20 +01:00
|
|
|
{
|
2021-11-21 14:52:49 +01:00
|
|
|
description = "NixOS configuration";
|
|
|
|
|
|
|
|
inputs = {
|
2022-06-18 23:09:21 +02:00
|
|
|
nixpkgs.url = "github:nixos/nixpkgs/release-22.05";
|
2021-11-21 14:52:49 +01:00
|
|
|
nixos-unstable.url = "github:nixos/nixpkgs/nixos-unstable";
|
2022-01-25 11:00:09 +01:00
|
|
|
nixpkgs-unstable.url = "github:nixos/nixpkgs/nixpkgs-unstable";
|
2021-11-21 14:52:49 +01:00
|
|
|
|
2022-04-04 01:10:26 +02:00
|
|
|
home-manager = {
|
2022-06-18 23:09:21 +02:00
|
|
|
url = "github:nix-community/home-manager/release-22.05";
|
2022-04-05 20:25:23 +02:00
|
|
|
inputs.nixpkgs.follows = "nixpkgs";
|
2022-04-04 01:10:26 +02:00
|
|
|
};
|
|
|
|
|
2022-08-16 10:31:45 +02:00
|
|
|
stylix = {
|
|
|
|
url = "github:danth/stylix";
|
|
|
|
inputs.nixpkgs.follows = "nixpkgs";
|
|
|
|
inputs.home-manager.follows = "home-manager";
|
|
|
|
};
|
|
|
|
|
2022-04-04 01:10:26 +02:00
|
|
|
# keyboard layout configuration
|
|
|
|
kmonad = {
|
|
|
|
url = "github:kmonad/kmonad?dir=nix";
|
|
|
|
inputs.nixpkgs.follows = "nixpkgs";
|
|
|
|
};
|
2021-11-21 19:08:57 +01:00
|
|
|
|
2022-04-04 01:10:26 +02:00
|
|
|
idris2-pkgs = {
|
|
|
|
url = "github:claymager/idris2-pkgs";
|
|
|
|
inputs.nixpkgs.follows = "nixpkgs";
|
|
|
|
};
|
2022-03-09 20:36:48 +01:00
|
|
|
|
2022-03-09 01:15:44 +01:00
|
|
|
#### Nvim stuff
|
|
|
|
neovim-nightly-overlay = {
|
|
|
|
url = "github:nix-community/neovim-nightly-overlay";
|
|
|
|
inputs.nixpkgs.follows = "nixpkgs";
|
|
|
|
};
|
2021-11-21 14:52:49 +01:00
|
|
|
};
|
|
|
|
|
2022-08-16 10:31:45 +02:00
|
|
|
outputs = inputs@{ self, stylix, nixpkgs, ... }:
|
2022-01-25 11:26:06 +01:00
|
|
|
let
|
|
|
|
system = "x86_64-linux";
|
|
|
|
provideInputs =
|
|
|
|
import ./modules/overlays/flakes.nix { inherit system; } inputs;
|
2022-01-30 20:19:35 +01:00
|
|
|
|
|
|
|
overlays = { ... }: {
|
|
|
|
nix.registry.nixpkgs.flake = nixpkgs;
|
|
|
|
nixpkgs.overlays = [
|
|
|
|
inputs.neovim-nightly-overlay.overlay
|
2022-04-04 01:10:26 +02:00
|
|
|
inputs.idris2-pkgs.overlay
|
2022-01-30 20:19:35 +01:00
|
|
|
provideInputs
|
|
|
|
];
|
|
|
|
};
|
2022-02-22 21:52:01 +01:00
|
|
|
in
|
|
|
|
{
|
2021-11-21 19:08:57 +01:00
|
|
|
nixosConfigurations.nixos = nixpkgs.lib.nixosSystem {
|
2022-01-25 11:26:06 +01:00
|
|
|
inherit system;
|
|
|
|
|
2022-05-11 20:29:47 +02:00
|
|
|
specialArgs = {
|
|
|
|
paths = import ./paths.nix;
|
|
|
|
};
|
|
|
|
|
2021-11-21 19:08:57 +01:00
|
|
|
modules = [
|
2022-04-04 01:10:26 +02:00
|
|
|
inputs.home-manager.nixosModules.home-manager
|
|
|
|
inputs.kmonad.nixosModule
|
2022-08-16 10:31:45 +02:00
|
|
|
stylix.nixosModules.stylix
|
2022-01-30 20:19:35 +01:00
|
|
|
overlays
|
2021-11-21 19:08:57 +01:00
|
|
|
./hardware/laptop.nix
|
|
|
|
./configuration.nix
|
|
|
|
];
|
|
|
|
};
|
2021-11-21 14:33:20 +01:00
|
|
|
};
|
|
|
|
}
|