a set of dotfiles and shell scripts mostly for private use