Printing to HP network printers with Debian

Make sure that all of the following debian packages are installed:-
    foomatic-db
    foomatic-db-engine
    foomatic-db-hpijz
    foomatic-filters
    hpijs
    hplip
    hplip-data
    cupsys
    cupsys-client
    cupsys-driver-gimprint

Using KDE:-
Fire up "Printing Manager"
Do "Add", "Add printer/class"
Do "Network printer (TCP)"
Under scan click settings
Under subnetwork put in the first three octets of your printer's IP address, so if the printer is 10.1.2.3, put 10.1.2 ; leave the second box as [0-255]
    You can the printer's IP address by pressing Menu/Information/Print configuration on the printer
Hit okay then scan
Select the printer that you want and simply follow the rest of the wizard, giving the printer the name of your choice.

Using CUPS:-
Fire up a web browser and point it at "http://localhost:631/admin"
Put in root and root password
The settings that you need are:-
    Device: Appsocket/HPjetdirect
    Device URI: socket://10.1.2.3:9100 (this would be for a printer with IP address 10.1.2.3)
    and then make and model

To be honest, the HP 9100MFP and HP 5500 worked with KDE Print Manager setup, but I could not get them to work with the CUPS setup.  Basically KDE recommends a foomatic driver, whereas CUPS recommends gimpprint.  The foomatic one works for me.

Apologies if you are a Gnome user; I know nothing about Gnome.