Message: previous - next
Month: April 2012

Re: konsole "Prompt Tip" incorrect (with patch - review and push)

From: Calvin Morrison <mutantturkey@...>
Date: Wed, 18 Apr 2012 10:56:11 -0400
On 04/17/2012 10:23 PM, David C. Rankin wrote:
> On 04/17/2012 06:42 PM, Darrell Anderson wrote:
>> 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 :)

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 :-)