Articles

How I initialize my Git repositories

The first few days I used Git, I messed up my repository. I had to reset and recreate it from scratch several times. With enough trials and errors, I came up with an idea of how I should initialize my repositories. Let me explain in this post why git init …
➟ Read more

Lotus Notes’ Rich Text to MIME conversion error

Today I encountered a strange error while using Lotus Notes. I had a “ Cannot convert Notes Rich Text message to MIME message ” error: This was triggered when I tried to move certain mails from one account to another. And to add insult to injury, this nasty and dangerous error will …
➟ Read more

How-to fix bad commit authorship in Git

Several months ago I committed some code in my GitHub repository, but I did it from a temporary system. If I registered my authentication keys correctly to commit stuff, I forgot to create a minimal ~/.gitconfig file with the right stuff in it. The result was not good looking, as …
➟ Read more

My PuTTY profile template

Inspired by a recent friend’s post about an annoying PuTTY behavior (fix included) , here is my template for PuTTY profiles  . It’s just a slightly modified version of Ilya Grigorik’s “Desert” color theme , with some tweaks that suit my needs.
➟ Read more