dotfiles for linux-based development, shell customization, etc.