Ubuntu: デフォルトの端末を変更する

Ubuntu 20.04に端末ツールTerminatorをインストールしたのでメモ。

update-alternativesで変える。

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

  選択肢    パス                           優先度  状態
------------------------------------------------------------
* 0            /usr/bin/gnome-terminal.wrapper    50        自動モード
  1            /usr/bin/terminator                40        手動モード

選択画面が出てくるので、好きな番号を選べばOK