Re: Bug#1834: kubla@goofy.zdv.Uni-Mainz.de: /etc/profile on Debian Linux]

[Winfried Truemper <winni@ElFi.MI.Uni-Koeln.DE>]

Hi,

the file "/etc/profile" should contain only absolut necessary entries.
Of course there are thousands of tricks one could do in "/etc/profile", but
this stuff (and explanative examples) belong to "/usr/doc/examples".
Nobody really wants to mess around with other people taste regarding
to enviroment variables and such. Which setting is essential, which not?
How do they interact which each other?

Here is a very useful setting for you profile. It should be immediatly 
included in the debian profile. ;-)

----- snipp -----
  if [ "$TERM" = "xterm" -o "$TERM" = "vs100" ] 
  then
    PROMPT_COMMAND='echo -ne "\033]2;Machine: $HOST\
     User: $LOGNAME\
     Directory: $PWD\007\033]1;$LOGNAME:$HOST\007"'
    export PROMPT_COMMAND
  fi
----- snipp -----

Of course, LOGNAME and HOST must be set ...

Have fun
Winfried