From ef1a999c1a38e3749ae01d7cd6258b87b33dd35f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jakobus=20Sch=C3=BCrz?= Date: Mon, 21 Sep 2020 23:26:46 +0200 Subject: [PATCH] add scriptexit --- bashrc_add | 1 + 1 file changed, 1 insertion(+) diff --git a/bashrc_add b/bashrc_add index 567fa63..d60f529 100755 --- a/bashrc_add +++ b/bashrc_add @@ -263,3 +263,4 @@ else logtrace "non-interactive shell" >&2 fi +SCRIPTEXIT