For Linux

1) Please go to ‘Settings’ => ‘Devices’ => ‘Printers’. 

2) Click ‘Additional Printer Settings’ => ‘Add’

3) Select ‘Network Printer’ => ‘Internet Printing Protocol (ipp). 

4) On the ‘Enter device URI’ line, input  ‘172.16.23.12‘. => Click ‘Forward’ button.

5) Choose ‘Provide PPD file’, then upload the driver installation file => click ‘Forward’ button.

6) If you want to change ‘Printer Name’, change it into any name. => Click ‘Apply’ button.

     Also, if you want to 2-sided printing, right click on the installed printer and go to ‘Printer options’ => change 1-

     Sided to 2-Sided on the Print-Type.

   After try, if you need help, please visit to IT office (B355).