diff options
Diffstat (limited to 'src/nix-addroot')
-rwxr-xr-x | src/nix-addroot | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/src/nix-addroot b/src/nix-addroot deleted file mode 100755 index 3ab9e8a252f8..000000000000 --- a/src/nix-addroot +++ /dev/null @@ -1,18 +0,0 @@ -#! /bin/sh - -ROOTLIST=~/.nixroots - -if ! test -f $ROOTLIST; then - touch $ROOTLIST -fi - -for i in $*; do - if nix ensure $i > /dev/null; then - if grep -q $i $ROOTLIST; then - echo $i already is a root - else - echo adding root $i - echo $i >> $ROOTLIST - fi - fi -done |