diff options
author | Lars Muldjord <muldjordlars@gmail.com> | 2017-03-23 19:22:38 +0100 |
---|---|---|
committer | Lars Muldjord <muldjordlars@gmail.com> | 2017-03-23 19:22:38 +0100 |
commit | 889070f5c84f67cb52a5038fe93aca6234bbc360 (patch) | |
tree | 5c9ccdac1c8e7c13e501c89b2fbbaffa04340391 /tools | |
parent | 83745f8bf86d22936c5c2c7becc86885119f5d29 (diff) | |
parent | 494e7218597a6cd94902b3ae6f827e74b41c00b0 (diff) |
Merge branch 'master' of http://git.drumgizmo.org/drumgizmo
Diffstat (limited to 'tools')
-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 ; |