Change hostname (temporarily or permanently)

Say our host is called alpha and we want to rename it to bravo For a temporary change (does not survive reboot) run in a terminal: (sudo) hostname bravo For a permanent change, edit /etc/hosts find the entry for alpha and change it to bravo Next, edit /etc/hostname and replace alpha with bravo NOTE:BSD based systems use /etc/HOSTNAME instead! Lastly, EITHER restart the networking service in a terminal: (sudo) service networking restart and log out / log in again, OR reboot the machine. NOTE: If the machine cannot be rebooted immediately after the changes, or you do not want to log out of your session until later, simply run: (sudo) hostname bravo

Gnome Alt + F2 clear command history

In a terminal run: dconf-editor In the program that pops up, navigate to: org > gnome > shell In there, find a key called command-history click on it and click the “Set to Default” button. You need to restart the Gnome 3 desktop by log out / log in, or by pressing <Alt>+<F2> and then type in the text field r and press <Enter>