remove opam stuff
This commit is contained in:
parent
8d43b641ec
commit
e91a2e75a9
2 changed files with 0 additions and 9 deletions
|
|
@ -157,7 +157,4 @@ end
|
||||||
end
|
end
|
||||||
|
|
||||||
# export CHEZSCHEMELIBDIRS="/home/mbk/Aims/chez/thunderchez:/home/mbk/Aims/chez/thunderchez:/home/mbk/Aims/chez/chez-srfi:/home/mbk/Aims/chez/pfds"
|
# export CHEZSCHEMELIBDIRS="/home/mbk/Aims/chez/thunderchez:/home/mbk/Aims/chez/thunderchez:/home/mbk/Aims/chez/chez-srfi:/home/mbk/Aims/chez/pfds"
|
||||||
|
|
||||||
# opam configuration
|
|
||||||
source /home/mbk/.opam/opam-init/init.fish > /dev/null 2> /dev/null; or true
|
|
||||||
''
|
''
|
||||||
|
|
|
||||||
6
home.nix
6
home.nix
|
|
@ -441,12 +441,6 @@
|
||||||
|
|
||||||
programs.home-manager.enable = true;
|
programs.home-manager.enable = true;
|
||||||
|
|
||||||
programs.opam = {
|
|
||||||
enable = true;
|
|
||||||
enableFishIntegration = true;
|
|
||||||
enableBashIntegration = true;
|
|
||||||
};
|
|
||||||
|
|
||||||
services.syncthing = {
|
services.syncthing = {
|
||||||
enable = true;
|
enable = true;
|
||||||
};
|
};
|
||||||
|
|
|
||||||
Loading…
Reference in a new issue