Last active
February 17, 2021 23:24
-
-
Save yuliji/0a8650333f366e626deaf909681001b7 to your computer and use it in GitHub Desktop.
[kill current script when quit]
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| trap 'kill -- $$' INT TERM QUIT; | |
| # -- is a conventional marker recognised by most argument parsers which means "consider everything beyond this to be positional arguments (not flags)". |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment