This is an old revision of the document!
How to install the network printer in Linux – IPP
You need to have a decently recent CUPS.
Easily using terminal
lpadmin -p SIN-IPP -E -v ipps://tisk2.sin.cvut.cz/printers/sin-c13-hp-pcl3 -m everywhere
(možná budete potřebovat použít sudo)
SIN-IPP is the name of the printer. You can choose that, but it may not contain spaces.
Through the GUI