インストール - ターミナル

Gnome Terminal

シェルの変更

方法 1

1. Gnome Terminalを右クリックまたは[≡]ボタンを押下して、環境設定を開く。
2. 設定プロファイルを開くまたは作成する。
3. [Command]タブを選択する。
4. [Run a custom command instead of my shell.]チェックボックスにチェックを入力する。
5. [Custom command]項目に、Zsh等のシェルの実行ファイルのフルパスを入力する。

方法 2

他の方法として、.bashrcファイルの1行目に、以下の設定を追記する。

 [ -n "$GNOME_TERMINAL_SCREEN" ] && [ -x "$(command -v zsh)" ] && exec zsh "$@"

上記の設定の説明を、以下に示す。
まず、[ -n "$GNOME_TERMINAL_SCREEN" ]コマンドを実行して、Gnome Terminalを確認する。
次に、[ -x "$(command -v zsh)" ]コマンドを実行して、Zshのパスが存在するかどうかを確認する。
最後に、exec zsh "$@"コマンドを実行して、Bashと同じ引数でZshを起動する。

これにより、Gnome Terminalを起動する時、Zsh等のシェルが使用できる。

Drop Down Terminal

Drop Down Terminalは、Gnome Shellのデスクトップ環境にインストールできるターミナルの拡張機能である。
カスタムスクロールバーの設定、カラースキーム、起動時にカスタムコマンドを起動する機能等、便利な機能が搭載されている。

また、カスタマイズ性にも優れており、透明度、アニメーション、スクロールバーの表示、ウィンドウのサイズ、ホットキーボタンをカスタマイズすることができる。

さらに、コマンド機能により、ユーザのデフォルトシェルではなく、カスタムのコマンドライン引数を実行することができる。
URL : https://extensions.gnome.org/extension/442/drop-down-terminal/