From 41bf2b220392d24ddf2b7920ac4446abced282e0 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ma=C3=ABl=20Madon?= <mael.madon@irit.fr>
Date: Tue, 3 May 2022 08:33:26 +0200
Subject: [PATCH] add explaining comments in script files
---
scripts/build_nix_cache.sh | 2 ++
scripts/install_nix.sh | 6 +++++-
2 files changed, 7 insertions(+), 1 deletion(-)
diff --git a/scripts/build_nix_cache.sh b/scripts/build_nix_cache.sh
index 8c28aaf..fd9ad4e 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 3199a8b..98caf1a 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
--
GitLab