EdX

Read more →

GPG

Read more →

Personal Configuration Files (dotfiles)

Read more →

Shell history DB

About As a Linux system administrator, I frequently need to write clever or complex bits of shell code on the command line that I might want to re-use. The standard bash history file in ~/.bash_history always seems to overflow or go missing when I move from system to system. The history-db project is my fix for this problem - when the command prompt is rendered, a bash $PROMPT_COMMAND reads the previous command out of history and uses curl to send it to a server (hopefully over https) where it is deduplicated and stored in a MySQL database.
Read more →