die

2025-04-05 23:41:38 +02:00
parent 9f05dfa238
commit 8a11ea4b5d
1 changed files with 1 additions and 1 deletions
--- a/snippets/shell
+++ b/snippets/shell
@@ -139,7 +139,7 @@
  },
  "die": {
    "prefix": "die",
-    "body": "{ ${4}printf >&2 \"%s\\n\" \"${2:ERROR: ${1:args}}\"; ${4}${3:false}; ${4}}$0",
+    "body": "! ${4}echo >&2 \"${2:ERROR: ${1:args}}\" $0",
    "description": "Bash snippet 'die'"
  },
  "command": {