Tech and travel

Category: Tech

Reliable file updates in Python

2013-07-16

Machines can fail, so it’s important to make sure your files are saved. This article has some great ways of doing reliable file updates with python. Great stuff.

Redirect stdout to log from a bash script

2013-07-09

My colleague Day Barr found this very useful Stack Overflow article. It shows how to redirect stdout to a log file from with a bash script. This is very useful if you’re debugging an existing bash script and don’t want to add a redirect to every line in it.

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.

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 =

Copyright (c) 2024 Michel Hollands