diff -r 338ebdc9b947 -r 14f2b1b15242 tex/vc --- a/tex/vc Fri Oct 02 14:31:03 2009 +0000 +++ b/tex/vc Fri Nov 13 08:32:03 2009 +0000 @@ -1,6 +1,8 @@ #! /bin/bash # +user=vym@insilmaril.de + set -e # abort on errors shopt -s nullglob # file globs that don't match expand # to nothing @@ -69,10 +71,10 @@ # # Add domain to username (if it's me ;-) # -user=`whoami` -if [ $user = "uwedr" ]; then - user="$user@suse.de" -fi +#user=`whoami` +#if [ $user = "uwedr" ]; then +# user="$user@suse.de" +#fi COMMENT_FILE=$2