You can safely change the hostname with the 'hostname' command, but you may have to update some config files as well.
What is the current hostname? Try just typing 'hostname' with no parameters.
And put something like this at the bottom of your .bashrc for each user:
PS1='\[\033[01;30m\]\u@\h \[\033[01;34m\]\W \$ \[\033[00m\]'
Then you'll have a prompt like this:
daniel@cyril etc $
where the user is daniel, the system is cyril, and the current directory is /etc.
Last edited by dsegel; 10-11-2004 at 12:35 PM.