Printing to a remote printer

Every now and then I’ll enter the computer lab only to find that all the computers are being used – this usually happens when I urgently need to print something before I miss the bus.
Thankfully, the system admins have allowed me the wonders of ssh access. So, printing is relatively simple:
Copy the file to be [...]