The CPU beep is a really irritating thing in Linux distros and sometimes the graphical sound manager does not work when shutting it up. Fortunately there is a simple way to do it in terminal. In Ubuntu (and distros based upon it) type: gksudo gedit /etc/modprobe.d/blacklist In Debian type:
su gedit /etc/modprobe.d/blacklist
And add the [...]
The great Ubuntu Karmik is just around the corner. If you happen to use Eclipse from the official eclipse webpage and you see that some eclipse buttons do not work, then apply the following hack. Make yourself a one line script to execute eclipse like follows:
#!/bin/bash
export GDK_NATIVE_WINDOWS=1
./eclipse
and it will work again. For tptp (the profiling tools for eclipse) you’ll need libstdc++5 package from debian.
