Using user-defined shortcuts for fun and profit in the terminal