changeset 671 | 367d875453ed |
parent 147 | 40de292411b6 |
child 804 | 14f2b1b15242 |
1.1 --- a/tex/vc Tue Aug 02 08:12:14 2005 +0000 1.2 +++ b/tex/vc Wed Feb 27 16:09:06 2008 +0000 1.3 @@ -66,8 +66,13 @@ 1.4 exit 1 1.5 fi 1.6 1.7 +# 1.8 +# Add domain to username (if it's me ;-) 1.9 +# 1.10 user=`whoami` 1.11 - 1.12 +if [ $user = "uwedr" ]; then 1.13 + user="$user@suse.de" 1.14 +fi 1.15 1.16 COMMENT_FILE=$2 1.17