diff options
| author | Jonas Smedegaard <dr@jones.dk> | 2015-08-25 12:43:22 +0200 |
|---|---|---|
| committer | Jonas Smedegaard <dr@jones.dk> | 2015-08-25 12:43:22 +0200 |
| commit | 9800d54f151a191c0580c7cd328956b4942bd100 (patch) | |
| tree | 344312be2469468deab3f2e56796c7e18c808fdb | |
| parent | d4327cf7d6e690cdc9a5262583266d82050489a6 (diff) | |
Fix delete interactively.
| -rwxr-xr-x | localgpgcleankeyring | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/localgpgcleankeyring b/localgpgcleankeyring index 96ee875..9a53d16 100755 --- a/localgpgcleankeyring +++ b/localgpgcleankeyring @@ -31,5 +31,7 @@ deleters=$($GPG --batch --list-keys --with-colons | grep '^pub' | cut -d: -f5 | if [ -z "$deleters" ]; then echo "# Nothing to delete!" else - $GPG --batch "$@" --delete-keys $deleters + $GPG "$@" --delete-keys $deleters +# TODO: use below instead when --force +# $GPG --batch --yes "$@" --delete-keys $deleters fi |