Sammlung nützlicher Tools: A decade of dotfiles.