Ubuntu: Reload Gnome panel while keeping user session

Sometimes you need to restart the Gnome panel, e.g. when you installed a new Gnome panel widget but the widget list was cached before.

You often don't want to do sign out and back in for this.
Instead, just run:

killall gnome-panel

This will terminate all gnome-panel processes. On my machine (Ubuntu 11.04) the panel then restarted itself after a moment.

If the panel does not automatically come back, press Alt+F2 to bring up the Gnome "run" box and start gnome-panel from there.

Arne Hartherz

Last edit

About 12 years ago

Keywords

linux

License

Source code in this card is licensed under the MIT License.

Change default size of Gnome terminal

Open the configuration file:

gksudo gedit /usr/share/vte/termcap/xterm

Find a line like this:

:co#80:it#8:li#24:\

Change the first and last number to your desired columns and rows:

:co#160:it#8:li#40:\

Save your changes and c...

Run

sudo apt-get install gnome-session-fallback

or (alias)

sudo apt-get install gnome-panel

from a terminal.
Then logout to reach the logon screen and click on the options button next to you name.
Select Gnome Classic, log in et ...

If you need the initial user which you used to login to your Linux system or the time when you login you can do:

whoami

One purpose of this could be the .bashrc to show different Bash Prompts for root to different users:

if [ $(whoa...

Posted by Arne Hartherz to makandra dev (2012-02-03 10:27)