default_settings 1.4 KB

1234567891011121314151617181920212223242526272829303132
  1. # When this file is named "default_settings" and is in the binaries
  2. # directory or profile directory, it provides enhanced default settings.
  3. # Override built-in default settings with ones that provide a more
  4. # enhanced Clink experience.
  5. clink.default_bindings = windows
  6. clink.autoupdate = off
  7. cmd.ctrld_exits = False
  8. color.arginfo = sgr 38;5;172
  9. color.argmatcher = sgr 1;38;5;40
  10. color.cmd = bold
  11. color.cmdredir = sgr 38;5;172
  12. color.cmdsep = sgr 38;5;135
  13. color.comment_row = sgr 38;5;87;48;5;18
  14. color.description = sgr 38;5;39
  15. color.doskey = sgr 1;38;5;75
  16. color.executable = sgr 1;38;5;33
  17. color.filtered = bold
  18. color.flag = sgr 38;5;117
  19. color.hidden = sgr 38;5;160
  20. color.histexpand = sgr 97;48;5;55
  21. color.horizscroll = sgr 38;5;16;48;5;30
  22. color.input = sgr 38;5;214
  23. color.readonly = sgr 38;5;28
  24. color.selected_completion = sgr 7
  25. color.selection = sgr 38;5;16;48;5;179
  26. color.unrecognized = sgr 38;5;203
  27. history.max_lines = 25000
  28. history.time_stamp = show
  29. match.expand_envvars = True
  30. match.substring = True