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-20 02:17:17 +0200 |
commit | e94cd212b4a43296d44876b3c5f7113e9f5b9727 (patch) | |
tree | 292bfe25517e1993368f10aa5d14071d8d6fdf7d /scripts/make-env | |
parent | d3452fc59b9839846225fd254926c64a9c71f071 (diff) | |
download | Nix-e94cd212b4a43296d44876b3c5f7113e9f5b9727.tar.gz Nix-e94cd212b4a43296d44876b3c5f7113e9f5b9727.tar.zst Nix-e94cd212b4a43296d44876b3c5f7113e9f5b9727.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 25aa869..0000000 --- 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 | ||