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
|
2023-12-07 14:39:04 +01:00
|
|
|
echo 'Git not found. Please install git.' >&2
|
|
|
|
|
exit 1
|
2019-05-15 09:55:33 +02:00
|
|
|
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
|
