From 9c5fe7b7064afb70dd0b8eb78af745eff84bb2e5 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Isma=C3=ABl=20Bouya?= <ismael.bouya@normalesup.org>
Date: Sun, 5 May 2019 14:47:05 +0200
Subject: Add version logs for make-env

---
 scripts/make-env | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'scripts/make-env')

diff --git a/scripts/make-env b/scripts/make-env
index fc52adc..ebb1eed 100755
--- a/scripts/make-env
+++ b/scripts/make-env
@@ -4,3 +4,8 @@ DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && pwd )"
 
 source $(dirname $DIR)/nix_path_env
 nix-env -r -i -A myEnvironments.immae-eu -f "<nixpkgs>" "$@"
+
+cat >> $(dirname $DIR)/versions_log <<EOF
+# Ran $(date) with args "$@"
+$($DIR/nix_infos | sed -e "s/^/#   /")
+EOF
-- 
cgit v1.2.3