You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Currently it goes through the list {"powershell", "-command"}, {"cmd", "/k"}, {"bash", "-c"}, {"sh", "-c"}} and picks whichever is available first (so... always powershell on windows I guess).
The text was updated successfully, but these errors were encountered:
Original cmd is being slowly phased out on windows iirc. Also I intentionally did not add a way to specify shell, because that would make it platform dependant.
One way to fix it would be to make shell filter accept unix script and windows script separately and choosing the shell separately as well
Currently it goes through the list
{"powershell", "-command"}, {"cmd", "/k"}, {"bash", "-c"}, {"sh", "-c"}}
and picks whichever is available first (so... always powershell on windows I guess).The text was updated successfully, but these errors were encountered: