2021-10-23 15:16:30 +02:00
|
|
|
#!/bin/bash
|
|
|
|
|
# ./set_header.sh
|
|
|
|
|
|
|
|
|
|
# Set variables
|
|
|
|
|
|
|
|
|
|
if [ ! -z "$USER" ]
|
|
|
|
|
then
|
2021-10-28 16:32:16 +02:00
|
|
|
echo 'export USER=`whoami`' >> ~/.zshrc
|
2021-10-23 15:16:30 +02:00
|
|
|
fi
|
|
|
|
|
|
|
|
|
|
if [ ! -z "$MAIL" ]
|
|
|
|
|
then
|
|
|
|
|
echo 'export MAIL="${USER}@student.42lausanne.ch"' >> ~/.zshrc
|
|
|
|
|
fi
|
|
|
|
|
|
|
|
|
|
test -d ~/.vim/plugin || mkdir -p ~/.vim/plugin
|
|
|
|
|
|
|
|
|
|
# Add stdheader to vim plugins
|
|
|
|
|
cp vim/stdheader.vim ~/.vim/plugin/
|
|
|
|
|
|
|
|
|
|
source ~/.zshrc
|
