Tag Archives: gnome

How to rename terminal tab title in gnome-terminal

from http://unix.stackexchange.com/a/186167/13739

Create a function in ~/.bashrc:

function set-title() {
if [[ -z “$ORIG” ]]; then
ORIG=$PS1
fi
TITLE=”\[\e]2;$@\a\]”
PS1=${ORIG}${TITLE}
}
Then use your new command to set the terminal title. It works with spaces in the name too

set-title my new tab title

Similar Posts:

Tagged , ,

NatGeo Wallpaper Downloader & Desktop Changer for Gnome Shell

I saw a couple of National Geographic wallpapers and those are pretty nice. I did not find an API on their site to download those on a regular basis, but it seemd pretty simple to just download them.

I just uploaded my code as a gist per https://gist.github.com/3002699 (the gist code should be more up to date than the following code)
And I added the script in my crontab:

@daily	/home/abdallah/Code/scripts/natgeowallpaper.py

Let me know if you have any notes/comments/changes
Here’s the code

Similar Posts:

Tagged , , , , ,