Compare commits
3 Commits
6a9ad2eec3
...
526cb2c209
Author | SHA1 | Date |
---|---|---|
Nathan McCarty | 526cb2c209 | |
Nathan McCarty | dbaf21d658 | |
Nathan McCarty | ffe4a6c26b |
|
@ -83,7 +83,7 @@ with nLib; {
|
|||
(mkIf devel.idris2 {
|
||||
home.packages = with pkgs; [
|
||||
inputs.idris2.packages."${pkgs.system}".idris2
|
||||
chez
|
||||
# chez
|
||||
gmp
|
||||
rlwrap
|
||||
];
|
||||
|
|
|
@ -5,4 +5,9 @@
|
|||
nathan = { config = { isDesktop = true; }; };
|
||||
# Setup home manager
|
||||
home-manager.users.nathan = import ./home.nix;
|
||||
# Configure nix build
|
||||
nix.settings = {
|
||||
cores = 8;
|
||||
max-jobs = 2;
|
||||
};
|
||||
}
|
||||
|
|
|
@ -5,7 +5,7 @@
|
|||
programs = {
|
||||
util = { git = { gpgSign = false; }; };
|
||||
devel = {
|
||||
idris2 = false;
|
||||
idris2 = true;
|
||||
haskell = false;
|
||||
js = false;
|
||||
raku = false;
|
||||
|
|
|
@ -28,6 +28,9 @@ in {
|
|||
enable = mkDefaultOption "Communication applications"
|
||||
config.nathan.config.isDesktop;
|
||||
};
|
||||
# Virtualization
|
||||
virtualization =
|
||||
mkDefaultOption "Virtualization" config.nathan.config.isDesktop;
|
||||
};
|
||||
};
|
||||
};
|
||||
|
@ -68,6 +71,10 @@ in {
|
|||
};
|
||||
casks = lib.mkMerge [
|
||||
(lib.mkIf config.nathan.programs.firefox [{ name = "firefox"; }])
|
||||
(lib.mkIf config.nathan.programs.virtualization [
|
||||
{ name = "crossover"; }
|
||||
{ name = "utm"; }
|
||||
])
|
||||
(lib.mkIf config.nathan.programs.communications.enable [
|
||||
{ name = "discord"; }
|
||||
{ name = "betterdiscord-installer"; }
|
||||
|
|
Loading…
Reference in New Issue