diff options
| author | Christian Duerr <contact@christianduerr.com> | 2020-08-22 20:55:27 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-08-22 20:55:27 +0000 |
| commit | 6cfcd7c25930d0478bc35731543e37a2e0c8f13f (patch) | |
| tree | c4ded7fbb33774d915d6a25048d8a523cfd57c34 /alacritty_terminal/src/sync.rs | |
| parent | 92a3d482d076eebbd12681444ae8f4dfdf08da69 (diff) | |
| download | alacritty-6cfcd7c25930d0478bc35731543e37a2e0c8f13f.tar.gz alacritty-6cfcd7c25930d0478bc35731543e37a2e0c8f13f.zip | |
Add CLI parameter to override config options
This uses the facilities added in
3c3e6870dedad56b270f5b65ea57d5a6e46b1de6 to allow overriding individual
configuration file options dynamically from the CLI using the
--options/-o parameter.
Fixes #1258.
Diffstat (limited to 'alacritty_terminal/src/sync.rs')
0 files changed, 0 insertions, 0 deletions