My local CUPS server is confused about the name of the printer I use. It has two names: hpext and hpext@vm-cups. I can never predict which one is going to work, and if I use the wrong one, jobs just sit in its queue indefinitely.
There are no printers listed in /etc/cupsd/cupsd.conf; instead I have the line
BrowsePoll cups.eecs.tufts.edu
This server lists only hpext and not hpext@vm-cups.
I'm thinking that somehow my local server is confused, and if I can delete the printer from its memory, all will be well. But nowhere in the documentation can I find a command to delete a printer, and the DELETE PRINTER button on the stupid web interface has no effect.
What can I do?