diff options
Diffstat (limited to 'src/monkeysphere-host')
| -rwxr-xr-x | src/monkeysphere-host | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/monkeysphere-host b/src/monkeysphere-host index 4f536e2..fab3ef7 100755 --- a/src/monkeysphere-host +++ b/src/monkeysphere-host @@ -163,7 +163,7 @@ prompt_userid_exists() { if gpgOut=$(gpg_host_list_keys "=${userID}" 2>/dev/null) ; then fingerprint=$(echo "$gpgOut" | grep '^fpr:' | cut -d: -f10) - if [ "$PROMPT" = "true" ] ; then + if [ "$PROMPT" != "false" ] ; then printf "Service name '%s' is already being used by key '%s'.\nAre you sure you want to use it again? (y/N) " "$fingerprint" "$userID" >&2 read OK; OK=${OK:=N} if [ "${OK/y/Y}" != 'Y' ] ; then |