From 653f0bf084f10a45feeb787e6909d05b7cdd6957 Mon Sep 17 00:00:00 2001 From: Erich Eckner Date: Tue, 10 Sep 2019 09:45:28 +0200 Subject: bin/manage-gpg-keys: /bin/bash -> /bin/sh --- bin/manage-gpg-keys | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/bin/manage-gpg-keys b/bin/manage-gpg-keys index ed67c02..14956ee 100755 --- a/bin/manage-gpg-keys +++ b/bin/manage-gpg-keys @@ -1,4 +1,4 @@ -#!/bin/bash +#!/bin/sh # shellcheck source=../lib/load-configuration . "${0%/*}/../lib/load-configuration" -- cgit v1.2.3-70-g09d2