Is there a way to modify the prompt on the server? I run several servers, and on each of them, it shows Region (root) # except for Robust, which shows R.O.B.U.S.T # Is there a way to replace "Region" by a custom value, or a variable, that would permit me to see immediately on which server I am connected?