diff options
author | Ismaël Bouya <ismael.bouya@normalesup.org> | 2020-04-20 01:58:14 +0200 |
---|---|---|
committer | Ismaël Bouya <ismael.bouya@normalesup.org> | 2020-04-25 00:04:58 +0200 |
commit | b1566203381206632b4f00b7120c4484089ca924 (patch) | |
tree | e362f605eb49ff8be87bd9f44fafd02f18d051ae /scripts/make-env | |
parent | 5ea02e5164d6be1eba8e7b2341105205ead98a87 (diff) | |
download | NUR-b1566203381206632b4f00b7120c4484089ca924.tar.gz NUR-b1566203381206632b4f00b7120c4484089ca924.tar.zst NUR-b1566203381206632b4f00b7120c4484089ca924.zip |
Remove useless scripts after migration to home-manager
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 | ||