grub menu customiser

grub-customiser found by synaptic

grep utilities

how to omit some text in your search

http://droptips.com/using-grep-to-exclude-lines-containing-certain-characterstext

how to search recursively in a directory:

grep -r --include "*.txt" texthere .

http://stackoverflow.com/questions/1987926/how-do-i-grep-recursively 

multiple gcc on ubuntu:

http://stackoverflow.com/questions/7832892/how-to-change-the-default-gcc-compiler-in-ubuntu

hwo to get wget to work through a proxy

http://linuxers.org/tutorial/wget-proxy-how-run-wget-behind-proxy-server