Dell 5130
Installation
Windows
Start button -> Devices and printers.
Add a printer, click on The printer that I want isn't listed
Add a printer using a TCP/IP address or hostname
Hostname or IP Address : 193.190.246.64
Click on Windows Update
Go take a coffee or make a chinese green tea.
Select HP and HP LJ300-400 color MFP M375-M475 PCL 6
Linux
Go to System settings/Printers. Click on Add.
Select Appsocket/HP JetDirect and fill the ip address : 193.190.246.64
If your system does not automatically recognize the the printer, you need to select it from a list. The brand is Dell, the model is 5130cdn.
If you cannot find this type of printer, it means you need to download the drivers :
Drivers for Ubuntu Drivers for Fedora/Redhat like
Mac
Go to System settings -> Printers and Scanners
Add a printer, click on IP tab, add the IP : 193.190.246.64