diff --git a/xterm/config b/xterm/config index 7fa735415..4e3c6bf2d 100644 --- a/xterm/config +++ b/xterm/config @@ -1,2 +1,2 @@ base_port=555 -flavors=1 \ No newline at end of file +noflavors=0 \ No newline at end of file diff --git a/xterm/config.info b/xterm/config.info index 440521e9c..fec2dc3c4 100644 --- a/xterm/config.info +++ b/xterm/config.info @@ -1,3 +1,3 @@ base_port=Base port number for WebSockets connections,0,5 size=Terminal width and height in characters,3,Automatic,5,,,Static (80x24) -flavors=Enable inbuilt command prompt color customization,1,1-Yes,0-No +noflavors=Disable inbuilt command prompt color customization,1,1-Yes,0-No diff --git a/xterm/index.cgi b/xterm/index.cgi index 15c831b2d..19f75b3cf 100644 --- a/xterm/index.cgi +++ b/xterm/index.cgi @@ -201,7 +201,7 @@ if ($user eq "root" && $in{'user'}) { # Terminal flavors my (@cmds, $term_flavors); -if ($config{'flavors'}) { +if (!$config{'noflavors'}) { my ($cmd_lsalias, $cmd_ps1) = ("alias ls='ls --color=auto'"); # Optionally add colors to the prompt depending on the user type