allow to specify host names in the terminal settings