diff options
Diffstat (limited to '')
| -rwxr-xr-x | tools/addgnupghome | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/addgnupghome b/tools/addgnupghome index fb032b674..e13c3cd01 100755 --- a/tools/addgnupghome +++ b/tools/addgnupghome @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/sh # Add a new .gnupg home directory for a list of users -*- sh -*- # # Copyright 2004 Free Software Foundation, Inc. @@ -89,7 +89,7 @@ one_user () { } -if [ -z "$1" ]; then +if [ -z "$1" ]; then echo "usage: $PGM userids" exit 1 fi |