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