drkdidel.be

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:

> SELECT DEFAULT_COLLATION_NAME FROM information_schema.SCHEMATA WHERE SCHEMA_NAME = 'databaseName' LIMIT 1;
+------------------------+
| DEFAULT_COLLATION_NAME |
+------------------------+
| utf8_general_ci        |
+------------------------+

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 ignores it. To explicitly tell Git to push a tag called tagName:

$ git push origin tagName

The following command push all the tags:

$ git push --tags

Source