2019-02-18 12:40:41 +01:00
|
|
|
#!/usr/bin/env bash
|
|
|
|
|
|
2019-05-15 09:55:33 +02:00
|
|
|
if hash git; then
|
2019-12-31 08:13:33 +01:00
|
|
|
git clone https://gitlab.com/ceda_ei/Wish.git $HOME/.config/wish
|
2019-05-15 09:55:33 +02:00
|
|
|
else
|
|
|
|
|
curl https://gitlab.com/ceda_ei/wish/-/archive/master/wish-master.tar -o /tmp/wish.tar
|
|
|
|
|
mkdir $HOME/.config 2> /dev/null
|
|
|
|
|
cd /tmp/
|
|
|
|
|
tar xf wish.tar
|
|
|
|
|
mv wish-master/ wish/
|
|
|
|
|
mv wish/ $HOME/.config/
|
|
|
|
|
fi
|
2019-12-31 08:13:33 +01:00
|
|
|
cp $HOME/.config/wish/config.default.gie $HOME/.config/wish/config.gie
|
2019-05-15 09:55:33 +02:00
|
|
|
|
2019-02-18 12:40:41 +01:00
|
|
|
cat >> ~/.bashrc <<EOF
|
|
|
|
|
|
|
|
|
|
# Wish
|
2019-12-31 08:13:33 +01:00
|
|
|
WISH_CONFIG_FILE="$HOME/.config/wish/config.gie"
|
|
|
|
|
source $HOME/.config/wish/wish.sh
|
2019-02-18 12:40:41 +01:00
|
|
|
EOF
|
