Copy and paste in the terminal activity

Terminal will automatically copy anything you highlight. You can enable right-click pasting in the Terminal activity by either replacing or patching the Terminal activity code. If you're running build 650 or 653, the easiest way to do this is:

su cd /usr/share/activities/Terminal.activity wget http://www.cs.washington.edu/homes/supersat/terminal.py

If you're more technically-inclined, the patch between the original version and the right-click version is available here: http://www.cs.washington.edu/homes/supersat/terminal.diff