Configuring Jekyll and GitLab to deploy on OVH
04 August 2018After migrating this blog to Jekyll, I wanted to explain how I went about it. There's nothing complicated about it, just a time-saver for those who want to do the same.
Moving to Jekyll
21 July 2018Here's an update to my little site... I'm leaving WordPress to move to Jekyll (driven by a GitLab pipeline).
You don't need jQuery
09 April 2017SQL file splitting
04 April 2017It's always useful, when you have large MySQL dumps, to be able to extract a specific table from the middle of the file. And preferably without having to re-insert everything or open the file and manually select from it... 🙂
Backup all MySQL users from a server
19 October 2010Here's a small script that generates an SQL backup of all MySQL users from a server.