On 08/18/16 02:57 PM, Jerry Kemp wrote:
I spend a good part of my life at a shell prompt in a Gnome terminal.
I frequently have a lot of tab's open, and it is helpful for me to set the title
for each tab to some unique setting.
I fired up duckduckgo, and after some searches, I came up with this, as a way to
set the tab title from the command line:
/bin/echo -n "\033]2;your-tab-title-here\007"
This works, but is a little cumbersome.
I've had this in my ~/.cshrc for tcsh for longer that I can remember (since tcsh
was the hot new shell, before zsh, fish, etc. became newer and cooler):
if ($?prompt) then
if ($?tcsh) then
if (($term == xterm) || ($term == vs100) || ($term == dtterm)) then
set prompt='%{\e]2\;%n@%m:%~^g\e]1\;%n@%m^g\r%}%B%n@%m:%b%~ [%t -
%h] '
else
set prompt='%B%n@%m:%b%~ [%t - %h] '
endif
endif
endif
--
-Alan Coopersmith- alan.coopersm...@oracle.com
Oracle Solaris Engineering - http://blogs.oracle.com/alanc
_______________________________________________
openindiana-discuss mailing list
openindiana-discuss@openindiana.org
https://openindiana.org/mailman/listinfo/openindiana-discuss
