Monday, November 6, 2017

HROB 2017

My goals for this year's Mountain Orienteering Championship:
  • Don't get lost - check
  • Don't be the last one - check
  • Finish at worst as fifth from the end - check

Wednesday, November 1, 2017

Restoring Windows backup

A relative of mine asked me to restore a couple of files from backup CDs created by the windows native backup utility.
It turned out more difficult than I initially expected.

First, unlike other tools, the windows backup utility zips the files using the backslash as a directory separator and none of the Linux decompression tools can handle that.

Second, the files were encoded with one of the Windows native encodings, and none of the Linux decompression tools handle that (apparently unzip on Ubuntu is patched to add support for filename encodings, but Debian, as usual, is lacking).

What a mess ...

1. unzip with bsdtar as unzip would scramble the non-ascii filenames
$ bsdtar xf ../Backup\ files\
2. convert filenames to utf-8
$ convmv -r -f cp852 -t utf-8 --notest .
3. recreate the directory structure
$ cat
#! /usr/bin/env python

import os
import errno

# already created directories, walk works topdown, so a child dir
# never creates a directory if there is a parent dir with a file.
made_dirs = set()

for root, dir_names, file_names in os.walk('.'):
    for file_name in file_names:
        if '\\' not in file_name:
        alt_file_name = file_name.replace('\\', '/')
        if alt_file_name.startswith('/'):
            alt_file_name = alt_file_name[1:]  # cut of starting dir separator
        alt_dir_name, alt_base_name = alt_file_name.rsplit('/', 1)
        print('alt_dir', alt_dir_name)
        full_dir_name = os.path.join(root, alt_dir_name)
        if full_dir_name not in made_dirs:
            except OSError as exc:
                if exc.errno == errno.EEXIST and os.path.isdir(full_dir_name):
                    # the pass already exists and is a folder, let's just ignore it
        os.rename(os.path.join(root, file_name),
                  os.path.join(root, alt_file_name))

$ python

Friday, March 10, 2017

Turris becomes mine

Three years ago I was lent one of the test Turris routers, that later became Turris Omnia. As promised, I'm now able to buy the machine for a symbolic prize of 1 CZK (0.04 USD).

Thursday, January 26, 2017


It looks like my phone is one of the first few to receive regular LineageOS builds.

Wednesday, January 11, 2017

[SOLVED] Microphone stops working when I plug in my headset

Recently I joined a phone meeting and only after a while I realized the other participants couldn't hear me.
Rather an embarrassing experience...

The laptop's built in microphone works fine, but as soon as I plug in my headset it's muted.

Apparently Windows, or the audio driver, think the device I plugged in has a microphone when it hasn't or vice versa.

The solution is to go to Control Panels, Realtek HD Audio Manager, in the top left corner click the Folder icon next to the analog hole image, and tick the 'Enable auto popup dialog' checkbox.
With this done, when one plugs a headset, windows will ask what type it is and act accordingly.