Latest posts

What is this website about?

This website is primarily serving as backup of my notes and findings, especially about programming and free software, in the hope it can also be useful to people encountering the same problems or questions. It also serves me to experiment and improve my programming skills. The other purpose of this…

MySQL: dump the encoding hell

I have encountered this issue in MySQL version 5.1.x, but not in 5.5 (I have not tested other versions): generating a dump of a UTF-8 encoded database (Collation: utf8_general_ci) resulted on non-ASCII characters (like "éà ç") being garbled. I am used to backup databases with this mysqldump…

Help killing Keystone, the Carbon Mega-Bomb, by calling the United States to respect their promises about climate preservation.

MariaDB (MySQL): retrieve database collation

In the MySQL prompt:

Git: push a tag when the remote is up-to-date

I started using tags a few weeks ago, after reading "A successful Git branching model". Update: tags are not pushed along without the --tags option. Tags are simply pushed along with the usual git push command. However, if a tag is created after pushing the latest commit, another git push just…