diff options
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/make-env | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/make-env b/scripts/make-env index 415bd5b..fc52adc 100755 --- a/scripts/make-env +++ b/scripts/make-env | |||
@@ -3,4 +3,4 @@ | |||
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 $(dirname $DIR)/nix_path_env |
6 | nix-env -r -i -A immaePackages -f "<nixpkgs>" "$@" | 6 | nix-env -r -i -A myEnvironments.immae-eu -f "<nixpkgs>" "$@" |