diff options
| author | mike castleman <m@mlcastle.net> | 2009-07-11 16:19:31 -0400 |
|---|---|---|
| committer | mike castleman <m@mlcastle.net> | 2009-07-11 16:19:31 -0400 |
| commit | a2704823c7770bc8df9377116877fcca78c3ea12 (patch) | |
| tree | 9b018557b71721194835d14c9df0cc66d5dbd8db /src/share/mh/publish_key | |
| parent | 4d9da8f75a38327d4a9fc1506739221f9fea9c2a (diff) | |
more replacement of read -p with printf; read (re #446)
Diffstat (limited to 'src/share/mh/publish_key')
| -rw-r--r-- | src/share/mh/publish_key | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/share/mh/publish_key b/src/share/mh/publish_key index b0ffd93..f6e1c0f 100644 --- a/src/share/mh/publish_key +++ b/src/share/mh/publish_key @@ -18,7 +18,8 @@ publish_key() { local GNUPGHOME if [ "$PROMPT" = "true" ] ; then - read -p "Really publish host key to $KEYSERVER? (Y/n) " OK; OK=${OK:=Y} + printf "Really publish host key to $KEYSERVER? (Y/n) " >&2 + read OK; OK=${OK:=Y} if [ "${OK/y/Y}" != 'Y' ] ; then failure "key not published." fi |