files: improve 'target not in $HOME' check

Check for prefix instead of inclusion.
2017-12-01 11:15:50 +01:00 · 2017-12-01 11:15:50 +01:00 · f6900f0689
parent 8759a5a63e
commit f6900f0689
1 changed files with 1 additions and 1 deletions
--- a/modules/files.nix
+++ b/modules/files.nix
@ -217,7 +217,7 @@ in
          target="$(realpath -m "$out/$relTarget")"

          # Target path must be within $HOME.
-          if [[ ! $target =~ $out ]] ; then
+          if [[ ! $target == $out* ]] ; then
            echo "Error installing file '$relTarget' outside \$HOME" >&2
            exit 1
          fi