diff options
Diffstat (limited to 'scripts/make-env')
-rwxr-xr-x | scripts/make-env | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/scripts/make-env b/scripts/make-env deleted file mode 100755 index 25aa869a..00000000 --- a/scripts/make-env +++ /dev/null | |||
@@ -1,12 +0,0 @@ | |||
1 | #!/bin/bash | ||
2 | |||
3 | DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && pwd )" | ||
4 | |||
5 | eval "$(make --no-print-directory -C $(dirname $DIR) nix-path)" | ||
6 | nix-env -r -i -A myEnvironments.immae-eu -f "<nixpkgs>" "$@" | ||
7 | result=$? | ||
8 | |||
9 | cat >> $(dirname $DIR)/versions_log <<EOF | ||
10 | Ran $(date) with args "$@" and returned "$result" | ||
11 | $(make --no-print-directory -C $(dirname $DIR) nix-info | sed -e "s/^/ /") | ||
12 | EOF | ||