Random Terminal commands

A place for Terminal/CLI commands that don’t merit a whole post to themselves. I’ll move the snippet if I do a longer post on the related subject.


Dropbox losses its notification icon on some Ubuntu installs, for me that version is 13.10 – to get it back run the following:

sudo apt-get install libappindicator1
sudo dropbox stop && dropbox start

This adds the icon back into the notification area.

32bit software on 64bit hardware

If you’re running 64bit hardware there may come a time when you want to run something in a 32bit space:

sudo apt-get install libc6:i386 libstdc++6:i386

I needed this when I was setting up Win7 with IE8 from Microsoft for VirtualBox.

Add Gedit plugins

Install the optional plugins package for the default text editor on Ubuntu, Gedit:

sudo apt-get install gedit-plugins

Gnome search

This search tool gives you a handy way to search in files for strings of text:

sudo apt-get install gnome-search-tool

Install Windows fonts

Usually after doing a clean Ubuntu install I wonder where all the common fonts have gone – run this to reinstall:

sudo apt-get install ttf-mscorefonts-installer
sudo fc-cache -fv

 Purge old linux images from /boot

When you need more space on your /boot partition, amend the following snippet to reflect the contents of your /boot and run in terminal:

sudo apt-get purge linux-image-3.11.0-{12,18,19,24,27,29}-generic

Leave a Reply