index : builder | |
Archlinux32 build system | gitolite user |
summaryrefslogtreecommitdiff |
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 | |
parent | 8a7455cb147b7bddbfb157c9f31e1c890b3c2cbb (diff) |
-rwxr-xr-x | bin/manage-gpg-keys | 2 |
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" |