Category: organization

Pi day: Pi on the keyboard

On my computers I am using Windows, Linux, and sometimes MacOS. Regarding the keyboard layout, I prefer the US English layout – it is just so much better for programming, anything you do on the shell, or whatever. On my Windows Desktop, I have designed my own keyboard layout (using Microsoft Keyboard Layout Creator) that […]

Read More →

Migrating Gmail

I wanted to migrate all my emails from one gmail account to another. Unfortunately, Google does not seem to offer an easy automated method. When I tried importing the mails from the other account via POP, my label system was not reproduced (I am an avid labeler). People suggest to use IMAP (where labels are […]

Read More →