diff -r 316e9237794c -r 31de6677aa96 tex/vc --- a/tex/vc Tue Oct 23 13:05:22 2007 +0000 +++ b/tex/vc Thu Dec 03 22:32:24 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