diff options
| author | Ismaël Bouya <ismael.bouya@normalesup.org> | 2019-05-24 14:43:09 +0200 |
|---|---|---|
| committer | Ismaël Bouya <ismael.bouya@normalesup.org> | 2020-04-25 00:04:21 +0200 |
| commit | 132484450d4d0610444ab680906f7c4490273a60 (patch) | |
| tree | 59f6495451747bb1a436d8651239ce5dc603863d /scripts/make-env | |
| parent | e17ce661cc5be91523fc448fdf52cd36f6447f10 (diff) | |
| download | NUR-132484450d4d0610444ab680906f7c4490273a60.tar.gz NUR-132484450d4d0610444ab680906f7c4490273a60.tar.zst NUR-132484450d4d0610444ab680906f7c4490273a60.zip | |
Reorganize files
Diffstat (limited to 'scripts/make-env')
| -rwxr-xr-x | scripts/make-env | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/scripts/make-env b/scripts/make-env index ebb1eed2..983a3590 100755 --- a/scripts/make-env +++ b/scripts/make-env | |||
| @@ -2,10 +2,11 @@ | |||
| 2 | 2 | ||
| 3 | DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && pwd )" | 3 | DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && pwd )" |
| 4 | 4 | ||
| 5 | source $(dirname $DIR)/nix_path_env | 5 | source $DIR/nix_env |
| 6 | nix-env -r -i -A myEnvironments.immae-eu -f "<nixpkgs>" "$@" | 6 | nix-env -r -i -A myEnvironments.immae-eu -f "<nixpkgs>" "$@" |
| 7 | result=$? | ||
| 7 | 8 | ||
| 8 | cat >> $(dirname $DIR)/versions_log <<EOF | 9 | cat >> $(dirname $DIR)/versions_log <<EOF |
| 9 | # Ran $(date) with args "$@" | 10 | Ran $(date) with args "$@" and returned "$result" |
| 10 | $($DIR/nix_infos | sed -e "s/^/# /") | 11 | $($DIR/nix_infos | sed -e "s/^/ /") |
| 11 | EOF | 12 | EOF |