You are here

Printing from self-managed Linux machines

Printer-friendly versionPrinter-friendly version

The easiest way to use Informatics printers from a Linux system with CUPS installed is to use the Informatics CUPS server rather than your machine's local CUPS server (probably appropriate for machines that live inside Informatics). Alternatively, you can add specific DICE printers to your local CUPS server.

Undergrad and taught students should replace infcups with atkrbcups in the instructions below.

Informatics CUPS server.

Warning: following this procedure will mean that your machine can only print to Informatics printers. If this is a problem, try the "Add specific printers" procedure instead.

On a Linux system with CUPS installed, this procedure will give you access to all available DICE printers. Simply edit /etc/cups/client.conf to contain the single line:


Now lpr, lpstat etc will connect to the main server and you don't need to mess with drivers and names.

Try lpstat -p -d to list available printers. Use something like lpoptions -d if435m0 to choose a default printer. Alternatively, the printers should appear in your distribution's graphical print manager.

Add specific printers.

The procedure below adds a DICE printer using the CUPS web interface.

  1. Go to to see the list of available printers
  2. Then, go to the local CUPS administration page at http://localhost:631/admin and click on Add Printer
  3. Select Internet Printing Protocol (ipp)
  4. Enter ipp:// for the Connection URL, where foo is the name of the printer you want to use
  5. Enter the Name, Description and Location
  6. Finally, select the correct model from the list (or go to and get the appropriate PPD file) and click on Add Printer

If it all goes well, at this point CUPS will show you a list of options to choose defaults for, and then you're done.

(Thanks to David Aspinall and Vasilis Vasaitis for providing this page).

Last reviewed: 

System Status

Home dirs (AFS)
Other services
Scheduled downtime

Choose a topic