Linux, or GNU/Linux, is my operating system of choice. Free as in beer and free as in speech. Posts about linux 2013-10-19 Detaching processes 2012-11-26 tree - structured files and directories listing 2011-09-19 Installing Redis on Ubuntu with APT