glatzor, thanks for the hint, using the full 40-character fingerprint instead of the 8-character key ID works. I am changing system-config-printer appropriately now.
glatzor, thanks for the hint, using the full 40-character fingerprint instead of the 8-character key ID works. I am changing system- config- printer appropriately now.