diff options
| author | Erich Eckner <git@eckner.net> | 2019-09-10 09:45:28 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2019-09-10 09:45:28 +0200 |
| commit | 653f0bf084f10a45feeb787e6909d05b7cdd6957 (patch) | |
| tree | 6af3c75b034db4630c986055c23ff526c3a609ed /bin/manage-gpg-keys | |
| parent | 8a7455cb147b7bddbfb157c9f31e1c890b3c2cbb (diff) | |
| download | builder-653f0bf084f10a45feeb787e6909d05b7cdd6957.tar.xz | |
bin/manage-gpg-keys: /bin/bash -> /bin/sh
Diffstat (limited to 'bin/manage-gpg-keys')
| -rwxr-xr-x | bin/manage-gpg-keys | 2 |
1 files changed, 1 insertions, 1 deletions
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" |