A crazy server recovery

If you're a seasoned server administrator then this post will boring beyond oblivion to you; the ingredients: a headless server (no screen, keyboard)years of personal backups on a linux software RAIDa botched system upgradehappy ending The pretext Several years ago I bought an HP Proliant microserver on discount and set up a NAS with Ubuntu … Continue reading A crazy server recovery →

VLC / Ubuntu out of sync sound

In ubuntu 12.04 VLC runs out of sync when pausing a video. First, when pausing the video, sound will continue playing for a couple of seconds. Then when resuming the video, it will lag behind but eventually resync after several seconds. Somehow I lived with this bug for a while, unnecessarily as it seems as … Continue reading VLC / Ubuntu out of sync sound →

Increasing window resize corner in Ubuntu 12.04

Resizing a window in Unity/Ubuntu 12.04 is quite a pain as one needs to target the 1 pixel border of the lower right corner. Fortunately the width can be increased: Edit /usr/share/themes/Ambiance/metacity-1/metacity-theme-1.xml and increase the widths, i.e.: <distance name="left_width" value="8"/> <distance name="right_width" value="8"/> <distance name="bottom_height" value="8"/> Log out and in again.

Ubuntu: physical power button not working

At some point the physical power button on my file server (ubuntu 12.04) stopped working and I had to do a software shutdown everytime. The solution is to (re) install acpi: sudo apt-get install acpi sudo apt-get install --reinstall acpi-support

HTTP: The importance of declaring non-cachable resources as such

It works fine with Chrome and it fails on an Android 2.3 browser - the page is performing an XmlHttpRequest to the server for a resource that just changed for sure and yet it gets back an older version. That's the result of a. the browser assuming a resource is cachable even if no Etag … Continue reading HTTP: The importance of declaring non-cachable resources as such →