Tech and travel

Posts

Replace last occurrence of a character in vim

2013-06-03

This stackoverflow post has a cool way to remove the last occurrence of a character in vim : :%s/.*\zs,/|/ This replaces the last occurrence of a comma with a pipe. Other examples can be found on the vim wikia.

Budapest

2013-05-20

Great weather and great food. In other words it was a nice trip to Budapest.

The Donau, with Buda on the left and Pest on the right

The Donau, with Buda on the left and Pest on the right

Useful Linux commands

2013-05-12

Thus is just a list of useful Linux commands. Putting them here means I can always find them. See the info of an uninstalled rpm : `rpm -qip --provides an.rpm` Check Linux is 64 bit: `egrep -c ' lm ' /proc/cpuinfo` Bigger than zero means 64 bit. Lm stands for Long Mode. Check that a package is installed in Ubuntu : `dpkg --get-selections | grep python`

MySQL 5.6 GTID settings

2013-04-30

The following settings are the minimum required if you want to use Global Transaction IDs with MySQL 5.6 : log-bin=bin-log log-slave-updates enforce-gtid-consistency binlog-format=ROW datadir = /var/lib/mysql port = 3306 server-id = 1 gtid_mode = ON report-host =

Stubbing out open() in Python

2012-05-15

Here’s an example that stubs out the open() function in Python using the mock library.

Copyright (c) 2026 Michel Hollands