add lean4
This commit is contained in:
parent
9b17adb594
commit
e43516374d
|
@ -84,7 +84,6 @@ in
|
||||||
# services.printing.enable = true;
|
# services.printing.enable = true;
|
||||||
|
|
||||||
# Enable sound.
|
# Enable sound.
|
||||||
sound.enable = true;
|
|
||||||
security.rtkit.enable = true;
|
security.rtkit.enable = true;
|
||||||
services.pipewire = {
|
services.pipewire = {
|
||||||
enable = true;
|
enable = true;
|
||||||
|
|
|
@ -2,8 +2,10 @@
|
||||||
|
|
||||||
{
|
{
|
||||||
imports = [
|
imports = [
|
||||||
./gaming.nix
|
./modules/gaming.nix
|
||||||
./ghci
|
./modules/ghci
|
||||||
|
./modules/lean.nix
|
||||||
|
./modules/ocaml.nix
|
||||||
];
|
];
|
||||||
|
|
||||||
home = {
|
home = {
|
||||||
|
@ -22,13 +24,8 @@
|
||||||
krita
|
krita
|
||||||
obs-studio
|
obs-studio
|
||||||
qbittorrent
|
qbittorrent
|
||||||
|
unrar
|
||||||
vlc
|
vlc
|
||||||
|
|
||||||
# OCaml
|
|
||||||
ocaml
|
|
||||||
ocamlformat
|
|
||||||
opam
|
|
||||||
dune_3
|
|
||||||
];
|
];
|
||||||
};
|
};
|
||||||
|
|
||||||
|
@ -48,6 +45,7 @@
|
||||||
'';
|
'';
|
||||||
shellAliases = {
|
shellAliases = {
|
||||||
shell = "nix-shell --command fish";
|
shell = "nix-shell --command fish";
|
||||||
|
upgrade = "sudo nixos-rebuild switch --upgrade";
|
||||||
};
|
};
|
||||||
};
|
};
|
||||||
|
|
||||||
|
|
11
nixos/msi/modules/lean.nix
Normal file
11
nixos/msi/modules/lean.nix
Normal file
|
@ -0,0 +1,11 @@
|
||||||
|
{ pkgs, config, ... }:
|
||||||
|
|
||||||
|
{
|
||||||
|
home.packages = with pkgs; [
|
||||||
|
elan
|
||||||
|
];
|
||||||
|
|
||||||
|
# home.sessionVariables = {
|
||||||
|
# ELAN_HOME = "${config.xdg.cacheHome}/elan";
|
||||||
|
# };
|
||||||
|
}
|
10
nixos/msi/modules/ocaml.nix
Normal file
10
nixos/msi/modules/ocaml.nix
Normal file
|
@ -0,0 +1,10 @@
|
||||||
|
{ pkgs, ... }:
|
||||||
|
|
||||||
|
{
|
||||||
|
home.packages = with pkgs; [
|
||||||
|
ocaml
|
||||||
|
ocamlformat
|
||||||
|
opam
|
||||||
|
dune_3
|
||||||
|
];
|
||||||
|
}
|
Loading…
Reference in a new issue