diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/add_file | 17 | 
1 files changed, 15 insertions, 2 deletions
| diff --git a/tools/add_file b/tools/add_file index 4825943..dbd49b8 100755 --- a/tools/add_file +++ b/tools/add_file @@ -9,8 +9,21 @@ function allfile() {    echo " *  `date`" >> $1;    echo -n " *  Copyright " >> $1    echo -n `date +%Y | xargs` >> $1 -  echo " Bent Bisballe Nyeng" >> $1; -  echo " *  deva@aasimon.org" >> $1; +  if [ "$WHO" == "nemo" ]; +  then +      echo " Jonas Suhr Christensen" >> $1; +      echo " *  jsc@umbraculum.org" >> $1; +  fi +  if [ "$WHO" == "deva" ]; +  then +      echo " Bent Bisballe Nyeng" >> $1; +      echo " *  deva@aasimon.org" >> $1; +  fi +  if [ "$WHO" == "senator" ]; +  then +      echo " Lars Bisballe Jensen" >> $1; +      echo " *  elsenator@gmail.com" >> $1; +  fi    echo " ****************************************************************************/" >> $1;    echo "" >> $1;    echo "/*" >> $1; | 
