diff options
Diffstat (limited to 'create_links.sh')
| -rwxr-xr-x | create_links.sh | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/create_links.sh b/create_links.sh index 00a341a..1684e5c 100755 --- a/create_links.sh +++ b/create_links.sh @@ -6,6 +6,7 @@ set -e dir="$(cd "$(dirname "$0")" && pwd)" os=$(uname --operating-system) ignore="$dir/ignore-$(/bin/hostname)" +CMD=$SYSTEMROOT/System32/cmd.exe filter() { fname="files/$(basename "$@")" @@ -20,9 +21,9 @@ create_windows_link() target=$target/$(basename "$link") rm -rvf "$target" if [ -d "$link" ] ; then - cmd /c mklink /D $(cygpath --windows "$target") $(cygpath --windows "$link") + $CMD /c mklink /D $(cygpath --windows "$target") $(cygpath --windows "$link") else - cmd /c mklink $(cygpath --windows "$target") $(cygpath --windows "$link") + $CMD /c mklink $(cygpath --windows "$target") $(cygpath --windows "$link") fi } |