18 Apr
2012
18 Apr
'12
2:56 p.m.
On 04/17/2012 10:23 PM, David C. Rankin wrote:
On 04/17/2012 06:42 PM, Darrell Anderson wrote:
I use this in my bashrc:
trap 'echo -e "\e]0;$BASH_COMMAND\007"' DEBUG 2> /dev/null
It sets the title to whatever the last command I executed was. very
useful :-)
Calvin
Yup, yup, yup. I know that. :)
I was asking whether the tip itself is technically correct.
I recall long ago in a galaxy far away, that to get the directory name to appear in the
konsole title bar required setting the $PROMPT_COMMAND in the environment. Of course, like
many users, one I got things configured the way I wanted I haven't changed a doggone
thing in many years. So now my gray matter is fuzzy about this.
I don't know. I know $PROMPT_COMMAND has something to do with getting something into
the konsole title bar.
Darrell
Ok...
Yes, like you I recall reading something like that years ago, but unlike the
prompt itself, I've never tested whether that tip actually puts it in the
titlebar :) (mostly because I don't want the path in the window :)