Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add ability to CTRL-C batch file started from bash.exe #3464

Closed
bubbleguuum opened this issue Aug 14, 2018 · 5 comments
Closed

Add ability to CTRL-C batch file started from bash.exe #3464

bubbleguuum opened this issue Aug 14, 2018 · 5 comments

Comments

@bubbleguuum
Copy link

If you launch a .bat from bash.exe, you cannot cancel it with CTRL-C like it would if started in cmd.exe.
It would be nice to have.

@benhillis
Copy link
Member

Please fill out the issue template.

@bubbleguuum
Copy link
Author

Oh well, I thought this was pretty much self explanatory from my description...

@benhillis
Copy link
Member

benhillis commented Aug 14, 2018

Your description is clear, what was not clear is your Windows build number or how you are invoking your .bat script.

@bubbleguuum
Copy link
Author

bubbleguuum commented Aug 15, 2018

  • Your Windows build number: (Type ver at a Windows Command Prompt)

Microsoft Windows [Version 10.0.17134.228]

  • What you're doing and what's happening: (Copy&paste specific commands and their output, or include screen shots)
  1. start bash.exe
  2. if necessary, register batch file launch support by running
    sudo update-binfmts --install WindowsBat /init --extension bat
  3. start any .bat that does not terminate immediately
  4. while the .bat runs, try to CTRL-C to stop it. This does not work
  • What's wrong / what should be happening instead:

It would be nice if CTRL-C interrupted the .bat execution, to be more in line
with behavior of running batch files in cmd.exe and running shell scripts in bash.exe.
The fact that they cannot be interrupted is more an annoyance than something wrong,
and it is really useful to be able to run batch files in bash.

@therealkenc
Copy link
Collaborator

Ah that's #1614

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

3 participants