User preferences

RDS users can set their own preferences using a configuration file stored in their home directory.

Firstly create preferences file:

mkdir -p $HOME/.config/rds
touch $HOME/.config/rds/preferences.knf
chmod 640 $HOME/.config/rds/preferences.knf

Next, add content to this file using your preferred text editor (nano, vim, pico…):

# User preferencies for RDS

[cli]

  # Disable ProTips
  disable-tips: false

  # Use powerline-specific symbols
  enable-powerline: false

  # Simplify user interface by default
  simple-ui: false

  # Enable pager for long output
  auto-paging: false

• disable-tips — enable or disable ProTips;
• enable-powerline — enable or disable using of special symbols from font with Powerline statusline plugin support;
• simple-ui — enable or disable simplified user interface;
• auto-paging — enable or disable automatic paging using pager (more/less) for long output.