diff --git a/scripts/build_nix_cache.sh b/scripts/build_nix_cache.sh index 8c28aaf8fd68ed684d4203e6fb5a8da12303c4b6..fd9ad4e5fc7f9cf61f9bfc41e9e1648b03c706ee 100755 --- a/scripts/build_nix_cache.sh +++ b/scripts/build_nix_cache.sh @@ -1,3 +1,5 @@ +# To save the nix cache in a file, for future use +# (usefull when working in Grid'5000) nix-store --query --references $(nix-instantiate default.nix) | \ xargs nix-store --realise | \ xargs nix-store --query --requisites | \ diff --git a/scripts/install_nix.sh b/scripts/install_nix.sh index 3199a8b893aeda82274c0a94c64fbad8b9d482e4..98caf1acbc2b7080d8f365370d712c6e9fb2d883 100755 --- a/scripts/install_nix.sh +++ b/scripts/install_nix.sh @@ -4,4 +4,8 @@ sudo-g5k sudo su root --command "echo 1 > /proc/sys/kernel/unprivileged_userns_clone" curl https://nixos.org/releases/nix/nix-2.6.0/install | sh source ${HOME}/.nix-profile/etc/profile.d/nix.sh -nix-store --import < cache_nix + +# Uncomment the line below if you want to import the nix cache from a file +# (useful when working in Grid'5000) + +# nix-store --import < cache_nix