Find TCL headers and libraries in Debian and FreeBSD

Problem. You want to compile a software against TCL. You run ./configure, but it can’t find it. You so need to locate where are the headers and the libraries. Solution. Start with the TCL version. On Debian: headers are in a subdirectory in /usr/include, named tcl followed by the version libraries are sorted by architecture, […]

Read more

FOSDEM PGP Key signing party FAQ

FOSDEM organizes each year one of the largest  keysigning event for PGP keys. When we come back from a key signing party, what to do? Here a FAQ with some useful notes about how I sign the keys. Sign other keys Bad practice: don’t upload keys you’ve just signed to the PGP server At the […]

Read more

Follow-up: a BASH script to split a MySQL dump by database

In this post, we’ve seen how to split a large MySQL dump by database. I’ve been asked a script to automate the process. Here you are. Note: On FreeBSD, replace AWK=awk by AWK=gawk and install lang/gawk port, so we can use GNU awk.

Read more

Split a large SQL dump by database

You created a MySQL backup of a large server installation with dozens of databases and wish to get the schema and data for one of them. You now have to deal with a file of hundreds of MB in a text editor. How convenient. Split a dump into several files You can quickly split this […]

Read more

Chromebook: run a SSH server on Chrome OS

In this post, we’ll cover how to run a SSH server directly on Chrome OS (ie not into a Crouton chroot). One of the first things I do on any machine (FreeBSD, Linux, Mac OS X or Windows) is to install, run and configure the SSH server. It’s always convenient to be able to scp from […]

Read more

Bitbucket won’t serve CNAME anymore, how to keep URLs working?

In the past, BitBucket allowed CNAME to use custom subdomains like hg.yourdomain.tld. But recently, Atlassian decided to remove this feature, You can drop the DNS record and update your documentation, but that will be a violation of Cool URIs don’t change and you can’t update paper documentation, bookmark from other users, etc. If you want to keep […]

Read more

How to change Phabricator logo

Before summer 2016, Phabricator didn’t provide a quick way to change the logo. In the software past, the possibility was also offered, but between July 2012 and 2016, the logo was a resource embedded into new sprites, with other header graphics. You can track the issue on Phabricator’s Phabricator. Meanwhile a solution is provided by […]

Read more