maint(common): rename gosh.sh to gosh and use /usr/bin/env bash

Fixes: #13822
This commit is contained in:
Marc Durdin 2025-05-02 12:45:52 +07:00
parent 209e4e579e
commit b32c236103
2 changed files with 2 additions and 2 deletions

View file

@ -108,6 +108,6 @@ function launchWin32Bash() {
}
function launchNixBash() {
const child_args = args.slice(1);
return child_process.spawnSync(args[0], child_args, {shell: '/bin/bash', stdio:'inherit'});
const child_args = ['bash', ...args.slice(1)];
return child_process.spawnSync(args[0], child_args, {shell: '/usr/bin/env', stdio:'inherit'});
}