Former Kubuntu desktop user, now using Arch Linux. Open-source enthusiast, programmer.
Interests: network protocols, Linux kernel, server administration, Android, breaking & fixing stuff.
101 How do I remove a user from a group? jan 20 '12
23 why would curl and wget result in a 403 forbidden? jun 28 '14
21 What does DISPLAY=:0.0 actually mean? jul 17 '11
14 Is it safe to remove ~/.cache? jun 11
13 Is there a condensed side-by-side diff format? jun 12 '13