Tag: Linux

Slow connection to MySQL in Docker Jul 2, 2018

My current project makes use of the MySQL database, which runs in a Docker container.

At a certain moment connecting to the database became excruciatingly slow, taking tens of seconds to establish a single connection. After that everything would work as expected.

The application opens a connection some hundred times, so the startup time had become really unacceptable.

I've spent a lot of time hunting that down, and then even more time looking for a solution as I failed to find any on StackOverflow. But finally I've solved this.

Read on »

Tuning Ubuntu for SSD Dec 1, 2014

In my last post I told you about upgrading an iMac with a solid-state drive (SSD). These drives are very fast (read throughput is usually ca. 500 MB/s if connected via a 6 Gbps SATA III) and completely silent.

Read on »

How-to: Multiplicity in Gimp Sep 13, 2013

My today's story is about a well-known yet impressive graphic editing technique called multiplicity. It allows you to multiply objects on a photo—most commonly people, but it can be just as well kittens or lawn-mowers. Using this technique, you can make pictures like this:

I'm a Linux guy and hence my favourite graphic editing tool is Gimp, but the same can be done with any other editor that supports layers and masks.

Read on »

Sound Switcher Indicator ‣ Sound Switcher Indicator for Ubuntu Mar 3, 2013

I couldn't take it anymore so I created an audio input/output switcher indicator for Ubuntu.

Read on »

My scripts on GitHub Nov 18, 2012

Finally I got to create a public repository on GitHub for all my public domain utility tools (I had to fiddle quite a while with git filter-branch to extract all the 'safe for public' stuff from my home repo).

At the moment the following four scripts are available:

Read on »

Ubuntu/GNOME 3 XML wallpaper creation Nov 17, 2012

I already published a script that sets a random image file as desktop wallpaper. It has only one downside: you have to run it every time you want to rotate your wallpaper.

However GNOME since 2.28 allows assigning a slide show as wallpaper by providing an image list in XML format. There you can specify the order and duration for each image. Moreover, you can even define a transition from one image to another.

So I decided to create a simple script that generates an XML file for a given set of images and, optionally, sets that as the current wallpaper. It requires GNOME 3+ or Ubuntu (11.10 or later).

Read on »