agent: New option --pinentry-timeout
[gnupg.git] / tools / addgnupghome
index 37a427b..e13c3cd 100755 (executable)
@@ -1,5 +1,5 @@
-# !/bin/sh                                                  -*- sh -*-
-#           Add a new .gnupg home directory for a list of users
+#!/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