{hacking,music,electronics,radio}
About
CV
Projects
Toots
∾
Github
Mastodon
Twitter
LinkedIn
QRZ
Using git diff for unmanaged files
Apr 17, 2020
#
git
Cleaning git branches
Aug 26, 2016
#
git
Git file age: a script to show when files were last modified in git
Apr 30, 2016
#
git
Git Ready and the ZSH Prompt
Jan 30, 2009
#
zsh
#
git
#
github
#
prompt
Git: failed to push some refs
Aug 5, 2008
#
git
#
github
#
thesis