Improve set_header.sh and doc

This commit is contained in:
gbaconni
2021-10-29 08:30:44 +02:00
parent 483d1c500b
commit 59d02ff201
2 changed files with 22 additions and 9 deletions

View File

@@ -27,7 +27,6 @@ Below replace "marvin" with your 42 Network login.
```
export USER="marvin"
export MAIL="marvin@student.42lausanne.ch"
./set_header.sh
```
@@ -73,14 +72,15 @@ vim ~/.bashrc
export USER="marvin"
export MAIL="marvin@student.42lausanne.ch"
<ESC> :wq
. ~/.bashrc
source ~/.bashrc
```
### **Note**
- Your git username and email will always have the priority over $USER and $MAIL variables.
- if you are outside a git repo tree, it will use the $USER and $MAIL environement variables.
- if none of the above, it will default to marvin@student.42lausanne.ch and marvin as username.
- If you are outside a git repo tree, it will use the $USER and $MAIL environement variables.
- I none of the above, it will default to marvin@student.42lausanne.ch and marvin as username.
- Usually you don't want to overwrite $USER as is the logged user and is already defined.
Troubleshooting:
```

View File

@@ -3,14 +3,27 @@
# Set variables
if [ ! -z "$USER" ]
if [ -f "~/.zshrc" ]
then
if ! grep -q ' USER=' "~/.zshrc" ] && [ -z "$USER" ]
then
echo 'export USER=`whoami`' >> ~/.zshrc
fi
if [ ! -z "$MAIL" ]
then
fi
if ! grep -q ' MAIL=' "~/.zshrc" ]
then
echo 'export MAIL="${USER}@student.42lausanne.ch"' >> ~/.zshrc
fi
fi
if [ -f "~/.bashrc" ]
then
if ! grep -q ' USER=' "~/.bashrc" ] && [ -z "$USER" ]
then
echo 'export USER=`whoami`' >> ~/.bashrc
fi
if ! grep -q ' MAIL=' "~/.bashrc" ]
then
echo 'export MAIL="${USER}@student.42lausanne.ch"' >> ~/.bashrc
fi
fi
test -d ~/.vim/plugin || mkdir -p ~/.vim/plugin