diff options
| author | Daniel Kahn Gillmor <dkg@fifthhorseman.net> | 2009-07-14 01:51:18 -0400 |
|---|---|---|
| committer | Daniel Kahn Gillmor <dkg@fifthhorseman.net> | 2009-07-14 01:51:18 -0400 |
| commit | 82d758a25428509963ddb2a8f7db05c74348c628 (patch) | |
| tree | af7dcf3bfdec66e5c82475ac1a9e8491d49e62d1 /src/share/mh/add_hostname | |
| parent | adef51285ea488ecda7b0a77b142d99e022d9e10 (diff) | |
fixing find_host_userid -- did this ever work?
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 9df5eec..37cfd3c 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 > /dev/null && \ +find_host_userid "$userID" > /dev/null && \ failure "Host userID '$userID' already exists." if [ "$PROMPT" = "true" ] ; then |