Skip to content

Instantly share code, notes, and snippets.

Forked from calkan/gist:eaad0bc4458da16a72dd
Created March 2, 2016 08:27
Show Gist options
  • Save tobbez/5c2a2ea0fcdc68ca627a to your computer and use it in GitHub Desktop.
Save tobbez/5c2a2ea0fcdc68ca627a to your computer and use it in GitHub Desktop.
Michael Hoffman's crazy bash_history backer upper on git
1 - Create a *private* GitHub/Bitbucket or similar git repo. Here I assume the repo is:
2 - Create .history directory and initialize it for the repo:
mkdir $HOME/.history
cd $HOME/.history
git init
git add
git commit -m "first commit"
git remote add origin
git push -u origin master
3 - Make it stop asking for password (no need to worry, still others can't reach it unless they have access to your .history)
chmod 700 $HOME/.history
git config credential.helper store
git push -u origin master
4 - Add the following lines to your $HOME/.bashrc - Michael's crazy BASH trick:
mkdir -p ${HOME}/.history/$(date -u +%Y/%m)
HISTFILE="${HOME}/.history/$(date -u +%Y/%m/%d.%H.%M.%S)_${HOSTNAME_SHORT}_$$"
5 - Add GitHub support to $HOME/.bashrc below the lines written above:
git --git-dir $HOME/.history/.git/ --work-tree $HOME/.history/ add $HISTFILE
# let's be paranoid and save the history frequently. This is to prevent history loss due to drops in network connection
PROMPT_COMMAND="history -a"
6 - Activate your new environment variables:
source $HOME/.bashrc
6 - Add the following lines to your $HOME/.bash_logout
# write history file
history -a
# pull it, just in case if you logged out of another session, git will complain:
git --git-dir $HOME/.history/.git/ --work-tree $HOME/.history/ pull
# commit & push
git --git-dir $HOME/.history/.git/ --work-tree $HOME/.history/ commit -am "add $HISTFILE"
git --git-dir $HOME/.history/.git/ --work-tree $HOME/.history/ push
Logging out takes a second or two while committing to GitHub. It may be a good idea to find a way to disable this for cluster jobs, not sure if .bash_logout is invoked while terminating grid jobs.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment