search

sedwards2009 / extraterm

The swiss army chainsaw of terminal emulators
https://extraterm.org
MIT License
2.53k stars 115 forks source link

Making extraterm the default terminal on linux #301

Closed Toub closed 2 years ago

Toub commented 3 years ago

Is there a way to make extraterm the default terminal on linux?

Looks like it does not show up in terminal list :

sudo update-alternatives --config x-terminal-emulator

Il existe 11 choix pour l'alternative x-terminal-emulator (qui fournit /usr/bin/x-terminal-emulator).

  Sélection   Chemin                           Priorité  État
------------------------------------------------------------
* 0            /usr/bin/terminator               50        mode automatique
  1            /usr/bin/gnome-terminal.wrapper   40        mode manuel
  2            /usr/bin/koi8rxterm               20        mode manuel
  3            /usr/bin/lxterm                   30        mode manuel
  4            /usr/bin/mlterm                   20        mode manuel
  5            /usr/bin/terminator               50        mode manuel
  6            /usr/bin/tilix.wrapper            30        mode manuel
  7            /usr/bin/txiterm                  20        mode manuel
  8            /usr/bin/urxvt                    20        mode manuel
  9            /usr/bin/uxterm                   20        mode manuel
  10           /usr/bin/xiterm+thai              20        mode manuel
  11           /usr/bin/xterm                    20        mode manuel
sedwards2009 commented 2 years ago

The Debian package in 0.66 fixes this.