In bash it is possible to test whether one file is older or newer than the other: if [ file1 -nt file2 ]; then # do something fi if [ […]

When a host directory is mounted into a docker container, how are file permissions handled? Docker copies files permissions from the host to the container verbatim, inluding numeric user ids. […]

I have a MacBook Pro now, courtesy of my new employer, but it only has four USB-C ports and nothing else, so none of my existing hardware could connect to […]

I have moved my blog to DigitalOcean platform: they provide a decent virtual server for $5/month, with static IP address to boot. It’s all highly scientific now: I have moved […]

I am moving my web site to docker, and I need to be able to send emails using a GMail account. GMail is limited to 500 emails a day, but […]

A docker containing not running anything particular in the foreground will exit immediately after start. Specifying /bin/sh as the startup command does not help. Some Internet sources suggest tail -f […]

During my trip abroad, I tried to use my credit card to make an online purchase, but the payment did not go through, it required a verification code sent to […]

I noticed that whenever I pressed arrow keys on the keyboard, my mouse cursor moves in funny ways. This felt quite creepy, as if some software was trying to intercept […]