diff options
author | Michael Vogt <michael.vogt@ubuntu.com> | 2008-11-24 11:16:13 +0100 |
---|---|---|
committer | Michael Vogt <michael.vogt@ubuntu.com> | 2008-11-24 11:16:13 +0100 |
commit | 73e0ee1e7f97571d7be3277e3c25c2f41b2bb946 (patch) | |
tree | 788e6a2c6052c70b6d3c478e80bf2e013f3b0dc0 /cmdline/apt-key | |
parent | 07dd557b6fd80ce2df235f1697189b6a8f190ff4 (diff) | |
parent | 8071aa806453a3e275576c196d6645051475c894 (diff) |
merged from debian-sid
Diffstat (limited to 'cmdline/apt-key')
-rwxr-xr-x | cmdline/apt-key | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/cmdline/apt-key b/cmdline/apt-key index de04d16da..26aa55633 100755 --- a/cmdline/apt-key +++ b/cmdline/apt-key @@ -1,6 +1,7 @@ #!/bin/sh set -e +unset GREP_OPTIONS # We don't use a secret keyring, of course, but gpg panics and # implodes if there isn't one available @@ -111,6 +112,8 @@ usage() { echo " apt-key update - update keys using the keyring package" echo " apt-key net-update - update keys using the network" echo " apt-key list - list keys" + echo " apt-key finger - list fingerprints" + echo " apt-key adv - pass advanced options to gpg (download key)" echo } |