インストール - ターミナルのソースを表示

== 概要 ==

<br><br>

== Gnome Terminal ==
==== シェルの変更 ====
===== 方法 1 =====
# Gnome Terminalを右クリックまたは[≡]ボタンを押下して、環境設定を開く。
# 設定プロファイルを開くまたは作成する。
# [Command]タブを選択する。
# [Run a custom command instead of my shell.]チェックボックスにチェックを入力する。
# [Custom command]項目に、Zsh等のシェルの実行ファイルのフルパスを入力する。
<br>
===== 方法 2 =====
他の方法として、.bashrcファイルの1行目に、以下の設定を追記する。<br>
 <syntaxhighlight lang="bash">
 [ -n "$GNOME_TERMINAL_SCREEN" ] && [ -x "$(command -v zsh)" ] && exec zsh "$@"
 </syntaxhighlight>
<br>
上記の設定の説明を、以下に示す。<br>
まず、<code>[ -n "$GNOME_TERMINAL_SCREEN" ]</code>コマンドを実行して、Gnome Terminalを確認する。<br>
次に、<code>[ -x "$(command -v zsh)" ]</code>コマンドを実行して、Zshのパスが存在するかどうかを確認する。<br>
最後に、<code>exec zsh "$@"</code>コマンドを実行して、Bashと同じ引数でZshを起動する。<br>
<br>
これにより、Gnome Terminalを起動する時、Zsh等のシェルが使用できる。<br>
<br><br>

== Drop Down Terminal ==
[https://github.com/anarchodin/gs-extensions-drop-down-terminal Drop Down Terminal]は、Gnome Shellのデスクトップ環境にインストールできるターミナルの拡張機能である。<br>
カスタムスクロールバーの設定、カラースキーム、起動時にカスタムコマンドを起動する機能等、便利な機能が搭載されている。<br>
<br>
また、カスタマイズ性にも優れており、透明度、アニメーション、スクロールバーの表示、ウィンドウのサイズ、ホットキーボタンをカスタマイズすることができる。<br>
<br>
さらに、コマンド機能により、ユーザのデフォルトシェルではなく、カスタムのコマンドライン引数を実行することができる。<br>
URL : https://extensions.gnome.org/extension/442/drop-down-terminal/<br>
<br><br>

__FORCETOC__
[[カテゴリ:CentOS]][[カテゴリ:SUSE]][[カテゴリ:Raspberry_Pi]]