diff options
| author | Michael Vogt <michael.vogt@ubuntu.com> | 2008-12-09 17:49:46 -0800 |
|---|---|---|
| committer | Michael Vogt <michael.vogt@ubuntu.com> | 2008-12-09 17:49:46 -0800 |
| commit | de4e6f6b78154cf2c4afea4aea74b5bca3fba96f (patch) | |
| tree | 2759f5959ce15112935a2e9d22e6395e8b0ddd71 /cmdline/apt-key | |
| parent | f23153d046f014f96d442fca5b9ef6ede7fcf546 (diff) | |
| parent | 3205e1f3b0dc9310fe767aef23824d0deb7a26bf (diff) | |
merged from the debian-sid branch
Diffstat (limited to 'cmdline/apt-key')
| -rwxr-xr-x | cmdline/apt-key | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/cmdline/apt-key b/cmdline/apt-key index 51a0bc2d1..7bb30240e 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 |