Take the 2-minute tour ×
Ask Ubuntu is a question and answer site for Ubuntu users and developers. It's 100% free, no registration required.

I've got a simple command that sets the term title:

# Allow the user to set the title.
function title {
   PROMPT_COMMAND="echo -ne \"\033]0;$1 ($PWD)\007\""
}
export -f title

I'd like to access this from a script:

16:28 $ cat ./scripts/webserver.sh
#!/bin/bash
title 'webserver'
nodemon ./app/webserver.coffee 

I've placed title in .bashrc, .bash_profile and .profile and sourced every one of those files after. I can run the title function fine from the command line. Regardless of what I do, the title function doesn't run when I run my script file. There's no error, just no change to the title. What am I doing wrong?

A bit more info: I added an echo 'changing title' line in the title function. The echo is being output but the title isn't being changed. So there must be a problem with the title function?

Related: How to change Gnome-Terminal title?

share|improve this question
add comment

1 Answer 1

If you need to change the title of the terminal, I'd advise you to use wmctrl that will also work from within a script (in fact, your solution fails because the prompt is not used when running scripts). So, first install the wmctrl package, e.g., using apt:

sudo apt-get install wmctrl

The nice thin with bash is that it has a variable named WINDOWID that contains a window id (no kidding!) that wmctrl can use. From within Bash or from within a script, try:

wmctrl -ir $WINDOWID -N "A cool title"
  • The -i option is to tell wmctrl that the window will be specified using its numerical id (do echo $WINDOWID to check that WINDOWID is indeed a number, and do wmctrl -l to list all the windows managed by your window manager and compare... you'll probably have to convert from decimal to hexadecimal or maybe use printf '%#.8x\n' "$WINDOWID").
  • The -r option is to tell wmctrl that the specified window will be ready for the following action, i.e., -N, change its title to the specified title.

man wmctrl for more info about this funny little tool.

Enjoy!

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.