You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I tried to change bat's default theme to my liking (make header-rules easier to spot) and finally succeeded. Could you add the following items to the documentation? That will make things easier for people that want similar customizations.
The file name for theme files in "$(bat --config-dir)/themes" must end with .tmTheme
The default theme is either Monokai Extended or Monokai Extended Light, depending on the terminal being recognized as having a light or dark theme
The name of a custom theme is taken from the file name, not from its name property.
Most of the theme is for syntax coloring for various specific languages, but the settings.settings dict of the theme contains general settings for bat's own use. Among these is the key gutterForeground, which is not set in the default theme because it relies on the hardcoded default value.
Thanks for the great software.
The text was updated successfully, but these errors were encountered:
I tried to change bat's default theme to my liking (make header-rules easier to spot) and finally succeeded. Could you add the following items to the documentation? That will make things easier for people that want similar customizations.
.tmTheme
Monokai Extended
orMonokai Extended Light
, depending on the terminal being recognized as having a light or dark themename
property.settings.settings
dict of the theme contains general settings for bat's own use. Among these is the keygutterForeground
, which is not set in the default theme because it relies on the hardcoded default value.Thanks for the great software.
The text was updated successfully, but these errors were encountered: