summaryrefslogtreecommitdiff
path: root/scripts/make-env
diff options
context:
space:
mode:
authorIsmaël Bouya <ismael.bouya@normalesup.org>2020-04-20 01:58:14 +0200
committerIsmaël Bouya <ismael.bouya@normalesup.org>2020-04-25 00:04:58 +0200
commitb1566203381206632b4f00b7120c4484089ca924 (patch)
treee362f605eb49ff8be87bd9f44fafd02f18d051ae /scripts/make-env
parent5ea02e5164d6be1eba8e7b2341105205ead98a87 (diff)
downloadNUR-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-xscripts/make-env12
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
3DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && pwd )"
4
5eval "$(make --no-print-directory -C $(dirname $DIR) nix-path)"
6nix-env -r -i -A myEnvironments.immae-eu -f "<nixpkgs>" "$@"
7result=$?
8
9cat >> $(dirname $DIR)/versions_log <<EOF
10Ran $(date) with args "$@" and returned "$result"
11$(make --no-print-directory -C $(dirname $DIR) nix-info | sed -e "s/^/ /")
12EOF