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 ; |