diff options
author | Daniel Kahn Gillmor <dkg@fifthhorseman.net> | 2009-07-14 02:00:23 -0400 |
---|---|---|
committer | Daniel Kahn Gillmor <dkg@fifthhorseman.net> | 2009-07-14 02:00:23 -0400 |
commit | 80f608dfb8cd0a59609f3c98834e44f0c78fffb0 (patch) | |
tree | 036fecc35b4bed0f39261fe58bdd865aa4a0c33a /src/share/mh/add_hostname | |
parent | 82d758a25428509963ddb2a8f7db05c74348c628 (diff) |
simplifying find_host_user_id function.
Diffstat (limited to 'src/share/mh/add_hostname')
-rw-r--r-- | src/share/mh/add_hostname | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/share/mh/add_hostname b/src/share/mh/add_hostname index 37cfd3c..136b678 100644 --- a/src/share/mh/add_hostname +++ b/src/share/mh/add_hostname @@ -28,7 +28,7 @@ fi userID="ssh://${1}" # test that the desired user ID does not already exist -find_host_userid "$userID" > /dev/null && \ +find_host_userid "$userID" && \ failure "Host userID '$userID' already exists." if [ "$PROMPT" = "true" ] ; then |