diff options
author | Kirill Chibisov <contact@kchibisov.com> | 2022-06-17 01:33:47 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-06-16 22:33:47 +0000 |
commit | ff63344b7e396170cb7bb619bbed404268deaf90 (patch) | |
tree | 7f5e3f126f1bbc34ed144161a1d54b0ad37647b9 /alacritty/src/cli.rs | |
parent | 4c171e767862e744ceed31def4036c79d7ebf1af (diff) | |
download | r-alacritty-ff63344b7e396170cb7bb619bbed404268deaf90.tar.gz r-alacritty-ff63344b7e396170cb7bb619bbed404268deaf90.tar.bz2 r-alacritty-ff63344b7e396170cb7bb619bbed404268deaf90.zip |
Ignore special files for live config reload
When using `--config-file /dev/null` with `live_config_reload`, each
write to `/dev/null` was forcing alacritty to reload its configuration.
This commit makes alacritty ignore special files for live config reload.
Co-authored-by: Christian Duerr <contact@christianduerr.com>
Diffstat (limited to 'alacritty/src/cli.rs')
0 files changed, 0 insertions, 0 deletions