diff options
-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 |