One way to extract a .tar.Z file: $ zcat file.tar.Z | tar xvf -

Install tk8.5, if not yet installed: # apt-get install tk8.5 # update-alternatives --config wish Selection Alternative ----------------------------------------------- 1 /usr/bin/wish8.4 *+ 2 /usr/bin/wish-default 3 /usr/bin/wish8.5</pre> There are 3 alternatives which provide wish. Type in the number that corresponds to tk8.5 (in my case was 3) then hit enter. Change fonts in ~/.gitk to DejaVu Sans Mono. set mainfont {{DejaVu Sans Mono} 9} set textfont {{DejaVu Sans Mono} 9} set uifont {{DejaVu Sans Mono} 9 bold}

MIUI (1.7.22) uses Arial as the default font. If you hate it as I do, here is how to change it. I assume you have adb working. We are going to replace only 2 fonts - Arial.ttf and Arial-Bold.ttf. First, let’s back up the old fonts just in case thing didn’t go well as we want to. (I learned this the hard way, and keen to avoid it at all cost) ...

On Ubuntu or Debian: $ sudo apt-cache search php|egrep ^php5- $ sudo apt-get install php5-mcrypt Ref: Install php extensions on ubuntu

The following command will kill all processes belong to a single user on Linux. pkill -u username Credit: Linux – Kill all processes for a user