diff options
| author | Valentin Ignatev <valentignatev@gmail.com> | 2019-10-10 00:37:48 +0300 |
|---|---|---|
| committer | Christian Duerr <contact@christianduerr.com> | 2019-10-09 23:37:48 +0200 |
| commit | 4cb5566a9c2d68006ffa97e2f8082ae3ef6c8de4 (patch) | |
| tree | f8cccdab59503d791b9fb44d0b9b5fb3ee3b1b85 /alacritty_terminal/src/config | |
| parent | 24651a6144e5071f0a72d991734a9b380255156e (diff) | |
| download | alacritty-4cb5566a9c2d68006ffa97e2f8082ae3ef6c8de4.tar.gz alacritty-4cb5566a9c2d68006ffa97e2f8082ae3ef6c8de4.zip | |
Add --hold CLI flag
This implements --hold flag which keeps Alacritty open after
its child process exits.
Fixes #1165.
Diffstat (limited to 'alacritty_terminal/src/config')
| -rw-r--r-- | alacritty_terminal/src/config/mod.rs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/alacritty_terminal/src/config/mod.rs b/alacritty_terminal/src/config/mod.rs index f810b519..26432415 100644 --- a/alacritty_terminal/src/config/mod.rs +++ b/alacritty_terminal/src/config/mod.rs @@ -130,6 +130,10 @@ pub struct Config<T> { #[serde(flatten)] pub ui_config: T, + /// Remain open after child process exits + #[serde(skip)] + pub hold: bool, + // TODO: DEPRECATED #[serde(default, deserialize_with = "failure_default")] pub render_timer: Option<bool>, |