Handy scripts, mostly for Ubuntu