Bash profile for Linux
Allow pasting with F2.