Environments for PowerShell and Windows command line#4816

Merged

dra27 merged 4 commits intoocaml:masterfrom diskuv:feature-eval-on-pwsh

Jul 26, 2022

+282-56

Commits on Jul 26, 2022

Env for PowerShell and Windows command line

jonahbeckford
authored and
dra27
committed
Accept dash as a SH_sh POSIX shell

jonahbeckford
authored and
dra27
committed
In-place escaping for set command
dra27
committed
Detect SH_sh shell when env.exe is parent process

jonahbeckford
authored and
dra27
committed