Bug#428752: Problem spotted

[adrien <adrien@antipoul.fr>]

Hi !
I have something new to solve the problem : this is to the grep which is 
wrong, but the cut just before. You have to replace :
 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 | grep ^pub | cut -d: -f5 | 
grep -q $key; then
          $GPG --quiet --batch --delete-key --yes ${key}
      fi
  done

with

 keys=`$GPG_CMD --keyring $REMOVED_KEYS --with-colons --list-keys | 
grep ^pub | cut -d: -f6`
  for key in $keys; do
      if $GPG --list-keys --with-colons | grep ^pub | cut -d: -f6 | 
grep -q $key; then
          $GPG --quiet --batch --delete-key --yes ${key}
      fi
  done


I don't know why GPG lists keys differently but at least, it works, 
since the key is the 6th token on each line.

Adrien