Latest posts

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…

Git: push/pull new branches to/from a remote repository

To push the branch newbranch to the remote repository origin: $ git push -u origin newbranch The -u option (we can also use the more verbose --set-upstream option) tells Git to also track this branch, thus allowing us to pull automatically future upstream commits using git pull. To pull the…