projects
/
monkeysphere.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
update zimmermann changelog about minor MS config change to the keyserver
[monkeysphere.git]
/
src
/
share
/
mh
/
publish_key
diff --git
a/src/share/mh/publish_key
b/src/share/mh/publish_key
index 553cd7257ccdd4969f7bb6ced3dcfb75841f5003..f1c17234f819477b74e272bb1c37fac493b4e6b7 100644
(file)
--- a/
src/share/mh/publish_key
+++ b/
src/share/mh/publish_key
@@
-18,7
+18,7
@@
publish_key() {
local keyID="$1"
local GNUPGHOME
local keyID="$1"
local GNUPGHOME
-if [ "$PROMPT"
= "tru
e" ] ; then
+if [ "$PROMPT"
!= "fals
e" ] ; then
printf "Really publish key '$keyID' to $KEYSERVER? (Y/n) " >&2
read OK; OK=${OK:=Y}
if [ "${OK/y/Y}" != 'Y' ] ; then
printf "Really publish key '$keyID' to $KEYSERVER? (Y/n) " >&2
read OK; OK=${OK:=Y}
if [ "${OK/y/Y}" != 'Y' ] ; then