diff options
author | midipix <writeonce@midipix.org> | 2018-06-06 22:02:36 -0400 |
---|---|---|
committer | midipix <writeonce@midipix.org> | 2018-06-06 22:02:36 -0400 |
commit | cd5af1a39478507ff3c144a4da996de2602d8019 (patch) | |
tree | f4f251abcd9602d91707af2b37f16254def47a1f /once | |
parent | 60b4acfeec23d097c655185ea9b5cb0ecf40f8c8 (diff) | |
download | mpackage-cd5af1a39478507ff3c144a4da996de2602d8019.tar.bz2 mpackage-cd5af1a39478507ff3c144a4da996de2602d8019.tar.xz |
bash.bat, bash.cmd: mintty invocation: do not leave the terminal window open.
Diffstat (limited to 'once')
-rwxr-xr-x | once/bash.bat | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/once/bash.bat b/once/bash.bat index 57f5ceb..83b60d7 100755 --- a/once/bash.bat +++ b/once/bash.bat @@ -5,7 +5,7 @@ pushd "%~dp0" set shell_sysroot=%cd% set SYSROOT=@sysroot@ -start bin\ntctty.exe --sysroot %shell_sysroot% --exec /bin/mintty -d -h always --window max --exec /bin/bash --init-file /setup.sh -i +start bin\ntctty.exe --sysroot %shell_sysroot% --exec /bin/mintty -d --window max --exec /bin/bash --init-file /setup.sh -i popd |