diff options
| author | Johannes Altmanninger <aclopte@gmail.com> | 2022-02-09 16:13:29 +0100 |
|---|---|---|
| committer | Johannes Altmanninger <aclopte@gmail.com> | 2022-02-19 17:31:55 +0100 |
| commit | 3a856ef57b433e6c0f11247d2b2193cf782eb3be (patch) | |
| tree | 5d8a5ac410ab49bb5e923df950a613f190b93b82 /src/remote.cc | |
| parent | cc6fe5ae6138f901cf5de315a166584770b45e58 (diff) | |
rc conf: treat ini files as conf if they contain a #-comment
*.ini files traditionally use ; but for example the "foot" terminal's
foot.ini uses #. Add a hack to treat ini files as "conf" filetype
if they contain a #-comment (very slim chance of false positives).
This requires to explicitly set comment_line to the default #,
because we set the "ini" filetype earlier.
Diffstat (limited to 'src/remote.cc')
0 files changed, 0 insertions, 0 deletions