diff options
author | Michael Vogt <egon@bottom> | 2007-05-02 13:54:10 +0200 |
---|---|---|
committer | Michael Vogt <egon@bottom> | 2007-05-02 13:54:10 +0200 |
commit | 8171c75b9939a13aa22a3f45d436a6305af561ff (patch) | |
tree | 2bd4f97cb013b56642a845873f54d49f94b92e51 /cmdline | |
parent | 3bc9f25de62f59cf5d4f90d1c1aaccc9ba23439b (diff) | |
parent | 3036f1e491ec1c71fb8fe9ff35954cebb2574320 (diff) |
* merged with the apt--mvo branch
Diffstat (limited to 'cmdline')
-rwxr-xr-x | cmdline/apt-key | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/cmdline/apt-key b/cmdline/apt-key index 7460a24be..90ecae2cf 100755 --- a/cmdline/apt-key +++ b/cmdline/apt-key @@ -24,9 +24,9 @@ update() { $GPG_CMD --quiet --batch --keyring $ARCHIVE_KEYRING --export | $GPG --ignore-time-conflict --import # remove no-longer used keys - keys=`$GPG_CMD --keyring $REMOVED_KEYS --with-colons --list-keys|awk '/^pub/{FS=":";print $5}'` + keys=`$GPG_CMD --keyring $REMOVED_KEYS --with-colons --list-keys | grep ^pub | cut -d: -f5` for key in $keys; do - if $GPG --list-keys --with-colons | awk '/^pub/{FS=":";print $5}'|grep -q $key; then + if $GPG --list-keys --with-colons | grep ^pub | cut -d: -f5 | grep -q $key; then $GPG --quiet --batch --delete-key --yes ${key} fi done |