Add 'user/' from commit 'a261579a74bc3bf9ec673ef190f1ec4bb625b86b' git-subtree-dir: user git-subtree-mainline: 8a65ab00b625139984aeb6c3a1a93f8bc9d3fc85 git-subtree-split: a261579a74bc3bf9ec673ef190f1ec4bb625b86b
1 file changed, 20 insertions(+), 0 deletions(-)
changed files
A user/install.sh
@@ -0,0 +1,20 @@ +#!/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 + +ln -s $PWD $NIXDIR +ln -s $1 home.nix