diff options
author | Michael Vogt <mvo@debian.org> | 2004-12-24 08:09:43 +0000 |
---|---|---|
committer | Michael Vogt <mvo@debian.org> | 2004-12-24 08:09:43 +0000 |
commit | 32133629d8c49029f3d04886aa605de4864b486e (patch) | |
tree | ffa2c53bf3ea9c8a1c933652fc634304c2853de5 | |
parent | 6e094f27106afbdc826e088bc154436d71ec2bc7 (diff) |
* use gpg --with-colons
-rwxr-xr-x | cmdline/apt-key | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/cmdline/apt-key b/cmdline/apt-key index ed5847c55..a96afe944 100755 --- a/cmdline/apt-key +++ b/cmdline/apt-key @@ -24,10 +24,10 @@ update() { $GPG_CMD --quiet --batch --keyring $ARCHIVE_KEYRING --export | $GPG --import # remove no-longer used keys - keys=`$GPG_CMD --keyring $REMOVED_KEYS --list-keys|awk '/^pub/{print $2}'` + keys=`$GPG_CMD --keyring $REMOVED_KEYS --with-colons --list-keys|awk '/^pub/{FS=":";print $5}'` for key in $keys; do - if $GPG --list-keys | awk '/^pub/{print $2}'|grep -q $key; then - $GPG --quiet --batch --delete-key --yes "${key#*/}" + if $GPG --list-keys --with-colons | awk '/^pub/{FS=":";print $5}'|grep -q $key; then + $GPG --quiet --batch --delete-key --yes ${key} fi done } |