2016-03-23 20:50:35 +00:00
|
|
|
#!/usr/bin/env bash
|
|
|
|
BIN_DIR=$(pwd)
|
|
|
|
|
|
|
|
# Backup the existing bashrc and bash aliases
|
|
|
|
mv ~/.bashrc ~/.bashrc.bak
|
|
|
|
mv ~/.bash_aliases ~/.bash_aliases.bak
|
2016-09-12 20:06:45 +00:00
|
|
|
mv ~/.hh_favourites ~/.hh_favourites.bak
|
2016-03-23 20:50:35 +00:00
|
|
|
# Link to the new ones
|
|
|
|
ln -s ${BIN_DIR}/.bashrc ~/.bashrc
|
|
|
|
ln -s ${BIN_DIR}/.bash_aliases ~/.bash_aliases
|
2017-01-14 15:38:16 +00:00
|
|
|
ln -s ${BIN_DIR}/.hh_favorites ~/.hh_favorites
|
2016-03-23 20:50:35 +00:00
|
|
|
# Copy the bash host file into place
|
|
|
|
cp ${BIN_DIR}/.bash_host ~
|
2016-09-12 20:05:02 +00:00
|
|
|
|
|
|
|
# Set up git
|
2017-04-10 14:29:13 +00:00
|
|
|
## Adopt the 'new' merging behaviour
|
|
|
|
git config --global push.default simple
|
2017-01-14 15:38:16 +00:00
|
|
|
## Set the username & email address
|
|
|
|
git config --global user.name "Starbeamrainbowlabs"
|
|
|
|
git config --global user.email "sbrl@starbeamrainbowlabs.com"
|
2017-11-23 15:22:17 +00:00
|
|
|
## Autosign commits with GPG
|
|
|
|
git config --global commit.gpgsign true
|
2017-05-08 09:56:02 +00:00
|
|
|
|
|
|
|
# If we've got a display, then set up meld too
|
|
|
|
if [[ "$DISPLAY" != "" ]]; then
|
|
|
|
git config --global merge.tool meld
|
|
|
|
fi
|
|
|
|
|
2016-09-12 20:05:02 +00:00
|
|
|
## Add gitignore.io .gitignore file generator
|
|
|
|
git config --global alias.ignore '!gi() { curl -L -s https://www.gitignore.io/api/$@ ;}; gi'
|