From 80f608dfb8cd0a59609f3c98834e44f0c78fffb0 Mon Sep 17 00:00:00 2001 From: Daniel Kahn Gillmor Date: Tue, 14 Jul 2009 02:00:23 -0400 Subject: simplifying find_host_user_id function. --- src/share/mh/add_hostname | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/share/mh/add_hostname') 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 -- cgit v1.2.3