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 {
|
(mkIf devel.idris2 {
|
||||||
home.packages = with pkgs; [
|
home.packages = with pkgs; [
|
||||||
inputs.idris2.packages."${pkgs.system}".idris2
|
inputs.idris2.packages."${pkgs.system}".idris2
|
||||||
chez
|
# chez
|
||||||
gmp
|
gmp
|
||||||
rlwrap
|
rlwrap
|
||||||
];
|
];
|
||||||
|
|
|
@ -5,4 +5,9 @@
|
||||||
nathan = { config = { isDesktop = true; }; };
|
nathan = { config = { isDesktop = true; }; };
|
||||||
# Setup home manager
|
# Setup home manager
|
||||||
home-manager.users.nathan = import ./home.nix;
|
home-manager.users.nathan = import ./home.nix;
|
||||||
|
# Configure nix build
|
||||||
|
nix.settings = {
|
||||||
|
cores = 8;
|
||||||
|
max-jobs = 2;
|
||||||
|
};
|
||||||
}
|
}
|
||||||
|
|
|
@ -5,7 +5,7 @@
|
||||||
programs = {
|
programs = {
|
||||||
util = { git = { gpgSign = false; }; };
|
util = { git = { gpgSign = false; }; };
|
||||||
devel = {
|
devel = {
|
||||||
idris2 = false;
|
idris2 = true;
|
||||||
haskell = false;
|
haskell = false;
|
||||||
js = false;
|
js = false;
|
||||||
raku = false;
|
raku = false;
|
||||||
|
|
|
@ -28,6 +28,9 @@ in {
|
||||||
enable = mkDefaultOption "Communication applications"
|
enable = mkDefaultOption "Communication applications"
|
||||||
config.nathan.config.isDesktop;
|
config.nathan.config.isDesktop;
|
||||||
};
|
};
|
||||||
|
# Virtualization
|
||||||
|
virtualization =
|
||||||
|
mkDefaultOption "Virtualization" config.nathan.config.isDesktop;
|
||||||
};
|
};
|
||||||
};
|
};
|
||||||
};
|
};
|
||||||
|
@ -68,6 +71,10 @@ in {
|
||||||
};
|
};
|
||||||
casks = lib.mkMerge [
|
casks = lib.mkMerge [
|
||||||
(lib.mkIf config.nathan.programs.firefox [{ name = "firefox"; }])
|
(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 [
|
(lib.mkIf config.nathan.programs.communications.enable [
|
||||||
{ name = "discord"; }
|
{ name = "discord"; }
|
||||||
{ name = "betterdiscord-installer"; }
|
{ name = "betterdiscord-installer"; }
|
||||||
|
|
Loading…
Reference in New Issue