diff options
Diffstat (limited to 'tools/add_file')
| -rwxr-xr-x | tools/add_file | 10 | 
1 files changed, 7 insertions, 3 deletions
| diff --git a/tools/add_file b/tools/add_file index d1b190f..a704029 100755 --- a/tools/add_file +++ b/tools/add_file @@ -16,14 +16,18 @@ function allfile() {    fi    if [ "$USER" == "chaot" ]    then -    NAME="André Nusser"; EMAIL="andre.nusser@googlemail.com" +    NAME="André Nusser"; EMAIL="andre.nusser@googlemail.com"    fi    if [ "$DGUSER" == "glocke" ]    then -    NAME="Christian Glöckner"; EMAIL="cgloeckner@freenet.de" +    NAME="Christian Glöckner"; EMAIL="cgloeckner@freenet.de" +  fi +  if [ "$USER" == "meka" ] +  then +    NAME="Goran Mekić"; EMAIL="meka@tilda.center"    fi -  echo "/* -*- Mode: C++; tab-width: 2; indent-tabs-mode: nil; c-basic-offset: 2 -*- */" > $1; +  echo "/* -*- Mode: c++ -*- */" > $1;    echo "/***************************************************************************" >> $1;    echo " *            $1" >> $1;    echo " *" >> $1 ; | 
