From b1566203381206632b4f00b7120c4484089ca924 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Isma=C3=ABl=20Bouya?= Date: Mon, 20 Apr 2020 01:58:14 +0200 Subject: Remove useless scripts after migration to home-manager --- scripts/make-env | 12 ------------ scripts/make-nur | 4 +++- scripts/nix_env | 7 ------- 3 files changed, 3 insertions(+), 20 deletions(-) delete mode 100755 scripts/make-env delete mode 100644 scripts/nix_env (limited to 'scripts') 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 @@ -#!/bin/bash - -DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && pwd )" - -eval "$(make --no-print-directory -C $(dirname $DIR) nix-path)" -nix-env -r -i -A myEnvironments.immae-eu -f "" "$@" -result=$? - -cat >> $(dirname $DIR)/versions_log <