How to install the network printer in Linux – IPP

You need to have a decently recent CUPS.

To add the printer, execute this CUPS command:

lpadmin -p Sincoolka-IPP -E -v ipps://tisk2.sin.cvut.cz/printers/sin-c13-hp-ps -m everywhere

(you might need to use sudo)

Sincoolka-IPP is the name of the printer. You can choose that, but it may not contain spaces.
You need to be connected to our network during the installation, otherwise the installation will fail and/or the printer might not perform correctly and you may need to remove the printer first before adding.

To remove the printer, execute this:

lpadmin -x Sincoolka-IPP

Sincoolka-IPP is the name of the printer.