1 files changed, 11 insertions, 0 deletions

diff --git a/scripts/make-env b/scripts/make-env
new file mode 100755
index 00000000..ebb1eed2
--- /dev/null
+++ b/scripts/make-env
@@ -0,0 +1,11 @@
+#!/bin/bash
+
+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