Tricks and aliases for my bash profile