diff options
author | David Kalnischkies <david@kalnischkies.de> | 2016-06-14 13:55:33 +0200 |
---|---|---|
committer | David Kalnischkies <david@kalnischkies.de> | 2016-06-14 13:55:33 +0200 |
commit | ee385a36fe753272cadac0afd7f19b123a0c3d54 (patch) | |
tree | 06c288fe9b29a302fcc3b1e428af94d755abce32 /cmdline | |
parent | 5e5607ef967dbc0dfc0f1aa24a71ed9f5dcf7200 (diff) |
apt-key: don't search PATH if command is a path already
Diffstat (limited to 'cmdline')
-rw-r--r-- | cmdline/apt-key.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/cmdline/apt-key.in b/cmdline/apt-key.in index ede6be4c3..7c12c72a3 100644 --- a/cmdline/apt-key.in +++ b/cmdline/apt-key.in @@ -23,6 +23,7 @@ requires_root() { } command_available() { + if [ -x "$1" ]; then return 0; fi # command -v "$1" >/dev/null 2>&1 # not required by policy, see #747320 # which "$1" >/dev/null 2>&1 # is in debianutils (essential) but not on non-debian systems local OLDIFS="$IFS" |