2024-07-03 16:20:46 -04:00
|
|
|
#!/usr/bin/bash
|
2024-08-12 15:06:09 -04:00
|
|
|
# generated with: mkwin /mnt/c/Program Files/PowerShell/7/pwsh.exe -E --or /mnt/c/Windows/System32/WindowsPowerShell/v1.0/powershell.exe
|
2024-07-03 16:20:46 -04:00
|
|
|
|
2024-07-12 14:37:40 -04:00
|
|
|
env-share 2> /dev/null
|
|
|
|
|
2024-08-12 15:06:09 -04:00
|
|
|
target='/mnt/c/Program Files/PowerShell/7/pwsh.exe'
|
|
|
|
if [ ! -x "$target" ]; then
|
|
|
|
target='/mnt/c/Windows/System32/WindowsPowerShell/v1.0/powershell.exe'
|
2024-07-03 16:20:46 -04:00
|
|
|
fi
|
|
|
|
|
2024-08-12 15:06:09 -04:00
|
|
|
"$target" $@
|