diff options
| author | Michael Vogt <mvo@ubuntu.com> | 2015-03-13 15:01:18 +0100 |
|---|---|---|
| committer | Michael Vogt <mvo@ubuntu.com> | 2015-03-13 15:01:18 +0100 |
| commit | 1c01d6cc57b19e599d926d245cee30ea25826220 (patch) | |
| tree | e5edd13e551023f106bed0bb2db5a12ff2084250 /cmdline/apt-key.in | |
| parent | ca495d048f6a6fd596b061208d28f319fa6dbcd8 (diff) | |
| parent | 1a0619ac765cc0b2f4906c96c1a4d7f510569a3f (diff) | |
Merge branch 'debian/sid' into ubuntu/master
Conflicts:
configure.ac
debian/changelog
Diffstat (limited to 'cmdline/apt-key.in')
| -rw-r--r-- | cmdline/apt-key.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cmdline/apt-key.in b/cmdline/apt-key.in index 0774cf4b7..b4e071000 100644 --- a/cmdline/apt-key.in +++ b/cmdline/apt-key.in @@ -180,7 +180,7 @@ update() { remove_key_from_keyring() { local GPG="$GPG_CMD --keyring $1" # check if the key is in this keyring: the key id is in the 5 column at the end - if ! $GPG --with-colons --list-keys 2>&1 | grep -q "^pub:[^:]*:[^:]*:[^:]*:[0-9A-F]\+$2:"; then + if ! $GPG --with-colons --list-keys 2>&1 | grep -q "^pub:[^:]*:[^:]*:[^:]*:[0-9A-F]*$2:"; then return fi if [ ! -w "$1" ]; then |