1
Fork 0

feat: added easy-purescript-nix/dhall

This commit is contained in:
Matei Adriel 2021-11-21 20:08:57 +02:00
parent 4f601f395d
commit 45f91d184a
5 changed files with 52 additions and 29 deletions

View file

@ -7,11 +7,28 @@
home-manager.url = "github:nix-community/home-manager"; home-manager.url = "github:nix-community/home-manager";
home-manager.inputs.nixpkgs.follows = "nixpkgs"; home-manager.inputs.nixpkgs.follows = "nixpkgs";
easy-dhall-nix.url = "github:justinwoo/easy-dhall-nix";
easy-dhall-nix.inputs.nixpkgs.follows = "nixpkgs";
easy-purescript-nix.url = "github:justinwoo/easy-purescript-nix";
easy-purescript-nix.inputs.nixpkgs.follows = "nixpkgs";
}; };
outputs = { self, nixpkgs, home-manager, ... }: { outputs = { self, nixpkgs, home-manager, nixos-unstable, easy-purescript-nix
, easy-dhall-nix, ... }: {
nixosConfigurations.nixos = nixpkgs.lib.nixosSystem { nixosConfigurations.nixos = nixpkgs.lib.nixosSystem {
system = "x86_64-linux"; system = "x86_64-linux";
nixpkgs.overlays = [
(self: super: {
inputs = {
inherit nixpkgs;
inherit nixos-unstable;
inherit easy-dhall-nix;
inherit easy-purescript-nix;
};
})
];
modules = [ modules = [
home-manager.nixosModules.home-manager home-manager.nixosModules.home-manager
./hardware/laptop.nix ./hardware/laptop.nix

View file

@ -4,22 +4,26 @@
{ config, lib, pkgs, ... }: { config, lib, pkgs, ... }:
{ {
imports = # imports =
[ <nixpkgs/nixos/modules/installer/scan/not-detected.nix> # [ <nixpkgs/nixos/modules/installer/scan/not-detected.nix>
]; # ];
boot.initrd.availableKernelModules = [ "xhci_pci" "ahci" "nvme" "usb_storage" "sd_mod" "sdhci_pci" ]; # Basically the content of the import above
hardware.enableRedistributableFirmware = lib.mkDefault true;
boot.initrd.availableKernelModules =
[ "xhci_pci" "ahci" "nvme" "usb_storage" "sd_mod" "sdhci_pci" ];
boot.initrd.kernelModules = [ ]; boot.initrd.kernelModules = [ ];
boot.kernelModules = [ "kvm-intel" ]; boot.kernelModules = [ "kvm-intel" ];
boot.extraModulePackages = [ ]; boot.extraModulePackages = [ ];
fileSystems."/" = fileSystems."/" = {
{ device = "/dev/disk/by-uuid/57846041-f177-45eb-aff3-503006bac638"; device = "/dev/disk/by-uuid/57846041-f177-45eb-aff3-503006bac638";
fsType = "ext4"; fsType = "ext4";
}; };
fileSystems."/boot" = fileSystems."/boot" = {
{ device = "/dev/disk/by-uuid/01E6-A013"; device = "/dev/disk/by-uuid/01E6-A013";
fsType = "vfat"; fsType = "vfat";
}; };

View file

@ -5,7 +5,8 @@
file.".ghci".source = ./ghci; file.".ghci".source = ./ghci;
packages = with pkgs; packages = with pkgs;
[ ghc ghcid hlint cabal-install snack stack ] [ ghc ghcid hlint cabal-install stack ]
++ (with haskellPackages; [ brittany hoogle hpack ]); ++ (with haskellPackages; [ brittany hoogle hpack ]);
}; };
} }

View file

@ -1,7 +1,8 @@
{ pkgs, ... }: { { pkgs, ... }: {
home-manager.users.adrielus.home.packages = with pkgs; [ home-manager.users.adrielus.home.packages = with pkgs;
[
nixfmt nixfmt
niv # niv
cached-nix-shell # cached-nix-shell
]; ];
} }

View file

@ -1,4 +1,4 @@
{ ... }: { { ... }: {
# nixpkgs.overlays = [ import ./discord ]; nixpkgs.overlays = [ import ./discord ];
imports = [ ./legacy.nix ]; # imports = [ ./legacy.nix ];
} }