Re: Gnome Terminal Suggestion/Question

["Brandon S. Allbery" <allbery ece cmu edu>]

In message <Pine.LNX.3.96.990329163842.8204E-100000@quoll.daa.com.au>, James He
nstridge writes:
+-----
| In xterm, there is an escape sequence that you can use to change the title
| bar (console MC uses this).  I don't think gnome-terminal recognises this
| sequence though.  If you use xterm, or the ZvtTerm widget was extended to
+--->8

Works fine here...

But the shell doesn't provide a hook to record the current process name
anywhere that I've seen.

-- 
brandon s. allbery	[os/2][linux][solaris][japh]	 allbery@kf8nh.apk.net
system administrator	     [WAY too many hats]	   allbery@ece.cmu.edu
electrical and computer engineering					 KF8NH
carnegie mellon university	      ["God, root, what is difference?" -Pitr]