From 1e91579e958ddfefed90a2bf5402653c37e0b329 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Maciej=20Bar=C4=87?= Date: Sun, 14 Feb 2021 23:35:43 +0100 Subject: [PATCH] src/check-duplicates: to make debian shellcheck happy MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Maciej Barć --- src/check-duplicates | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/check-duplicates b/src/check-duplicates index ee36a7d..647aef0 100755 --- a/src/check-duplicates +++ b/src/check-duplicates @@ -25,6 +25,8 @@ # Distributed under the terms of the GNU General Public License v2 # This one upgrades the license to GNU General Public License v3 +# shellcheck disable=1117 + trap 'exit 128' INT export PATH