When using TotalTerminal, a guake-like terminal helper, the default shell, bash, is not started under execution of the .bashrc. Hence, any custom commands defined or changed in this file will not be effective until you source the .bashrc manually.
On Ubuntu, you may upgrade your system to the next (development) release by issuing update-manager -d either on a root shell or using sudo. However, using the graphical interface gives you no diagnostic output in case anything fails. For example, you get which is not helpful at all, as upgrading […]
Today MATE decided to take NumLock serious. It’s settings manager was unsure what state of NumLock was desired and thus changing it over and over. In that case, typing on a notebook can be rather tedious as you happen to press the keys in order to get a specific character […]
Everybody who owns a smartphone or a tablet has to think about the lock method of the device. Android offers an alternative to the usually used PIN code: the lock pattern. I have to admit that swiping fast and rather wildly over the screen is a cool way to unlock […]
During the dist upgrade from debian squeeze to wheezy, I got the following error from apt-get. E: Could not perform immediate configuration on 'gcj-4.7-jre'. Please see man 5 apt.conf under APT::Immediate-Configure for details. (2) The manual suggests to disable this method for dist upgrades. Googling suggests using apt-get dist-upgrade -o […]
Using my horde setup, my tablet only displayed calendar entries from the last four weeks regardless of any setting pertaining to this. This behaviour is annoying, especially as it means ignoring the settings on the device. Apparently, Android only accepts the events if they have been modified recently. But there […]
Sometimes you have some colors and need different ones based on distinguishability. No, I’m not talking about matching colors, just different ones. Here is an example: You have: and You want four additional colors ./colordist.py 4 ff0000 00ff00 You get: , , and You want four […]
After a distupgrade from debian squeeze to wheezy, kile kept messing around with the file encodings. Ignoring any values set in the “Open/Save” config dialog, kile took my UTF-8 files and saved them in ISO-8859-1. This is not as funny as it may sound, especially not if you use version […]
Although scanned images tend to be quite large, books mostly consist of text. Hence, monochrome representations are still legible. Unfortunately, it can be tricky to get a small PDF from your input file. Here is (one) easy way to do it: gs -sDEVICE=pnggray -dNOPAUSE -dQUIET -r120 -sOutputFile=data/m%d.png inputfile.ps Yes, there […]
After a recent update to mendeleydesktop 1.8, I got some annoying error messages: $ mendeleydesktop Using bundled Qt version 4.6 because no system Qt version was found Running /opt/mendeleydesktop/bin/..//lib/mendeleydesktop/libexec/mendeleydesktop.i486 /opt/mendeleydesktop/bin/..//lib/mendeleydesktop/libexec/mendeleydesktop.i486: error while loading shared libraries: libpulse.so.0: cannot open shared object file: No such file or directory If you see this […]
For the lecture on Advanced Atomic and Molecular Physics by Prof. Dr. Ionela Radu, I created a reference sheet as exam preparation. You may download the high-res PDF version here.
In case anybody is interested in the (very entertaining) lecture `Advanced Statistical Mechanics’ by Jens Eisert, here is a short summary of the content. In fact, this is part of my exam preparation 😉 I omitted most of the introduction on basic quantum mechanics, as this knowledge is required for […]