2018-08-18 05:54:39 +02:00
|
|
|
# User Config:
|
|
|
|
|
|
|
|
## Default:
|
|
|
|
|
|
|
|
```
|
|
|
|
gui:
|
|
|
|
# stuff relating to the UI
|
|
|
|
scrollHeight: 2 # how many lines you scroll by
|
|
|
|
theme:
|
|
|
|
activeBorderColor:
|
|
|
|
- white
|
|
|
|
- bold
|
|
|
|
inactiveBorderColor:
|
|
|
|
- white
|
|
|
|
optionsTextColor:
|
|
|
|
- blue
|
2018-09-05 15:02:13 +02:00
|
|
|
commitLength:
|
|
|
|
show: true
|
2018-08-26 05:03:37 +02:00
|
|
|
update:
|
|
|
|
method: prompt # can be: prompt | background | never
|
|
|
|
days: 14 # how often an update is checked for
|
2018-08-26 07:46:18 +02:00
|
|
|
reporting: 'undetermined' # one of: 'on' | 'off' | 'undetermined'
|
2018-08-18 05:54:39 +02:00
|
|
|
```
|
|
|
|
|
2018-09-01 06:35:46 +02:00
|
|
|
## Platform Defaults:
|
|
|
|
|
|
|
|
### Windows:
|
|
|
|
|
|
|
|
```
|
|
|
|
os:
|
|
|
|
openCommand: 'cmd /c "start "" {{filename}}"'
|
|
|
|
```
|
|
|
|
|
|
|
|
### Linux:
|
|
|
|
|
|
|
|
```
|
|
|
|
os:
|
2018-09-04 11:18:18 +02:00
|
|
|
openCommand: 'sh -c "xdg-open {{filename}} >/dev/null"'
|
2018-09-01 06:35:46 +02:00
|
|
|
```
|
|
|
|
|
|
|
|
### OSX:
|
|
|
|
|
|
|
|
```
|
|
|
|
os:
|
|
|
|
openCommand: 'open {{filename}}'
|
|
|
|
```
|
|
|
|
|
|
|
|
### Recommended Config Values:
|
|
|
|
|
|
|
|
for users of VSCode
|
|
|
|
|
|
|
|
```
|
|
|
|
os:
|
|
|
|
openCommand: 'code -r {{filename}}'
|
|
|
|
```
|
|
|
|
|
2018-08-18 05:54:39 +02:00
|
|
|
## Color Attributes:
|
|
|
|
|
|
|
|
For color attributes you can choose an array of attributes (with max one color attribute)
|
|
|
|
The available attributes are:
|
|
|
|
|
|
|
|
- default
|
|
|
|
- black
|
|
|
|
- red
|
|
|
|
- green
|
|
|
|
- yellow
|
|
|
|
- blue
|
|
|
|
- magenta
|
|
|
|
- cyan
|
|
|
|
- white
|
|
|
|
- bold
|
|
|
|
- reverse # useful for high-contrast
|
|
|
|
- underline
|
2018-08-21 05:42:17 +02:00
|
|
|
|
|
|
|
## Example Coloring:
|
|
|
|
|
|
|
|
![border example](/docs/resources/colored-border-example.png)
|