diff options
| author | Ismaël Bouya <ismael.bouya@normalesup.org> | 2019-05-05 14:47:05 +0200 |
|---|---|---|
| committer | Ismaël Bouya <ismael.bouya@normalesup.org> | 2019-05-05 14:47:05 +0200 |
| commit | 9c5fe7b7064afb70dd0b8eb78af745eff84bb2e5 (patch) | |
| tree | 209ab12896d888a8ad5ad97801e222c7313437f0 /scripts/make-env | |
| parent | 9ed1ac33e47bb12230792e74785cbda67a8bb822 (diff) | |
| download | Nix-9c5fe7b7064afb70dd0b8eb78af745eff84bb2e5.tar.gz Nix-9c5fe7b7064afb70dd0b8eb78af745eff84bb2e5.tar.zst Nix-9c5fe7b7064afb70dd0b8eb78af745eff84bb2e5.zip | |
Add version logs for make-env
Diffstat (limited to 'scripts/make-env')
| -rwxr-xr-x | scripts/make-env | 5 |
1 files changed, 5 insertions, 0 deletions
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 )" | |||
| 4 | 4 | ||
| 5 | source $(dirname $DIR)/nix_path_env | 5 | source $(dirname $DIR)/nix_path_env |
| 6 | nix-env -r -i -A myEnvironments.immae-eu -f "<nixpkgs>" "$@" | 6 | nix-env -r -i -A myEnvironments.immae-eu -f "<nixpkgs>" "$@" |
| 7 | |||
| 8 | cat >> $(dirname $DIR)/versions_log <<EOF | ||
| 9 | # Ran $(date) with args "$@" | ||
| 10 | $($DIR/nix_infos | sed -e "s/^/# /") | ||
| 11 | EOF | ||