diff options
| -rwxr-xr-x | user/install.sh | 34 |
1 files changed, 0 insertions, 34 deletions
diff --git a/user/install.sh b/user/install.sh deleted file mode 100755 index e33b70ae..00000000 --- a/user/install.sh +++ /dev/null @@ -1,34 +0,0 @@ -#!/bin/sh - -set -eu - -if [ -z "$1" ] -then - echo "Usage: $0 <machine-file.nix>" - exit 1 -fi - -NIXDIR="$HOME/.config/nixpkgs" - -if [ ! -f "$1" ] -then - echo "$1 does not exist" - exit 1 -fi - -if [ -d "$NIXDIR" ] -then - echo "$NIXDIR already exists as a directory!" - ls -l "$NIXDIR" - exit -fi - -if [ -f "$NIXDIR" ] -then - echo "$NIXDIR already exists as a file" - ls -l "$NIXDIR" - exit -fi - -ln -s $PWD $NIXDIR -ln -s $1 home.nix |