Installation is pretty straightforward: just install the two .deb files in the Drivers Section you find on the printer download page.
What they don’t say is that they contain some custom binary 32 bit executable wrapper, which won’t of course run on a native 64 bit system!
The solution is as simple as running:
apt-get install gcc-multilib
but wasn’t a quick find.Continua a leggere