mirror of
https://github.com/ankitects/anki.git
synced 2025-09-18 22:12:21 -04:00
Re-order terminals, again, for better UX. (#4186)
* Re-order terminals, again, for better UX. * Move x-terminal-emulator up (dae)
This commit is contained in:
parent
1ad82ea8b5
commit
6744a0a31a
1 changed files with 7 additions and 6 deletions
|
@ -11,21 +11,22 @@ pub fn relaunch_in_terminal() -> Result<()> {
|
||||||
|
|
||||||
// Try terminals in roughly most specific to least specific.
|
// Try terminals in roughly most specific to least specific.
|
||||||
// First, try commonly used terminals for riced systems.
|
// First, try commonly used terminals for riced systems.
|
||||||
// Second, try the minimalist/compatibility terminals.
|
// Second, try common defaults.
|
||||||
// Finally, try terminals usually installed by default.
|
// Finally, try x11 compatibility terminals.
|
||||||
let terminals = [
|
let terminals = [
|
||||||
// commonly used for riced systems
|
// commonly used for riced systems
|
||||||
("alacritty", vec!["-e"]),
|
("alacritty", vec!["-e"]),
|
||||||
("kitty", vec![]),
|
("kitty", vec![]),
|
||||||
// minimalistic terminals for constrained systems
|
|
||||||
("foot", vec![]),
|
("foot", vec![]),
|
||||||
("urxvt", vec!["-e"]),
|
// the user's default terminal in Debian/Ubuntu
|
||||||
("xterm", vec!["-e"]),
|
|
||||||
("x-terminal-emulator", vec!["-e"]),
|
("x-terminal-emulator", vec!["-e"]),
|
||||||
// default installs for the most common distros
|
// default installs for the most common distros
|
||||||
("xfce4-terminal", vec!["-e"]),
|
("xfce4-terminal", vec!["-e"]),
|
||||||
("gnome-terminal", vec!["--"]),
|
("gnome-terminal", vec!["-e"]),
|
||||||
("konsole", vec!["-e"]),
|
("konsole", vec!["-e"]),
|
||||||
|
// x11-compatibility terminals
|
||||||
|
("urxvt", vec!["-e"]),
|
||||||
|
("xterm", vec!["-e"]),
|
||||||
];
|
];
|
||||||
|
|
||||||
for (terminal_cmd, args) in &terminals {
|
for (terminal_cmd, args) in &terminals {
|
||||||
|
|
Loading…
Reference in a new issue