From 8a11ea4b5d9506a96d8e1dbcfeb97e9e1f3bbf88 Mon Sep 17 00:00:00 2001 From: Peder Bergebakken Sundt Date: Sat, 5 Apr 2025 23:41:38 +0200 Subject: [PATCH] die --- snippets/shell script.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/snippets/shell script.json b/snippets/shell script.json index a739329..c566a4a 100644 --- a/snippets/shell script.json +++ b/snippets/shell script.json @@ -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": {