Compress pdf files

gs -sDEVICE=pdfwrite -dCompatibilityLevel=1.4 -dPDFSETTINGS=/ebook -dNOPAUSE -dQUIET -dBATCH -sOutputFile=output.pdf input.pdf
Posted in Linux | Leave a comment

images streched on Samsung CLP 365W under Linux

I encountered a very strange problem: whenever I printed a document with some pictures it would get stretched. It was driving me nuts until I realized that I have to set the resolution to the default 1600x600dpi.

Posted in Linux, Printer | Tagged | Leave a comment

Manual duplex printing with the Samsung CLP 365W under Linux

The installation of the samsung drivers was described in a previous post.

Here I am describing a little tool called Gnome-Manual-Duplex that adds a GUI for the manual duplex printing. It sports even a .deb file, so installation is extremely easy.

Posted in Linux, Printer | 3 Comments

Instructions for installing texlive manually in ubuntu

I followed the following instruction:

replace 2011 by 2012 otherwise follow literally.

Posted in Latex | Leave a comment

Ondemand governor is switched on automatically

I did a reinstall of Linux on my Laptop (a ThinkPad x61s). Since I am not a fan of Unity and the new flavors of KDE I decided to give Xubuntu (12.04) a try. I have to say that I am quite happy. I just realized one thing: when ever I did a reboot, the governor for the CPU frequency was set to ‘performance’ instead of ‘ondemand’. I was googling around and somebody said that the governor is switched to ‘ondemand’ 60s after booting up. I checked it and it is really true! What an intelligent thing to do.

Posted in Linux, Xubuntu | Leave a comment

Repair IBM/Lenovo Thinkpads

spare part site in Switzerland
use the maintenance manual from Lenovo to find spare part number

Posted in Hardware, ThinkPad, x61s | Leave a comment

setup Samsung laser printer CLP 365W under Linux

download driver package from

This is for version 0.87

create softlink for hard coded library files:

sudo ln -s /usr/lib/x86_64-linux-gnu/ /usr/lib64/

sudo ln -s /usr/lib/x86_64-linux-gnu/ /usr/lib64/

if those links are missing the printquality is bad.

execute as root

install printer in printer gui of distro

Posted in Hardware, Printer | 4 Comments