Configure a CUPS installation to automatically poll the DoC IPP server
NOTE: These steps are unlikely to be successful if your local username is not the same as your College one. Similarly, this service is only accessible from within College networks -- it will not work from off-site.
1. Stop the CUPS daemon, e.g. using /etc/init.d/cups stop or your local equivalent. (if CUPS is not installed on your machine, you will need to do that first. Perhaps try: aptitude install cups)
2. Edit /etc/cups/cupsd.conf, as root, in your editor of choice. Update the configuration to include the following:
BrowsePoll ipp.doc.ic.ac.uk:631 Browsing On
3. Start CUPS again, e.g. using /etc/init.d/cups start or your local equivalent.
4. If everything has worked as intended, multiple new printer entries should appear in your applications' document printing dialog.