「インストール - ターミナル」の版間の差分
ナビゲーションに移動
検索に移動
(ページの作成:「== 概要 == <br><br> == Gnome Terminal == ==== シェルの変更 ==== # Gnome Terminalを右クリックまたは[≡]ボタンを押下して、環境設定を開く…」) |
(→シェルの変更) |
||
| 10行目: | 10行目: | ||
# [Run a custom command instead of my shell.]チェックボックスにチェックを入力する。 | # [Run a custom command instead of my shell.]チェックボックスにチェックを入力する。 | ||
# [Custom command]項目に、Zsh等のシェルの実行ファイルのフルパスを入力する。 | # [Custom command]項目に、Zsh等のシェルの実行ファイルのフルパスを入力する。 | ||
<br> | |||
他の方法として、.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> | <br> | ||
これにより、Gnome Terminalを起動する時、Zsh等のシェルが使用できる。<br> | これにより、Gnome Terminalを起動する時、Zsh等のシェルが使用できる。<br> | ||
2021年5月8日 (土) 16:30時点における版
概要
Gnome Terminal
シェルの変更
- Gnome Terminalを右クリックまたは[≡]ボタンを押下して、環境設定を開く。
- 設定プロファイルを開くまたは作成する。
- [Command]タブを選択する。
- [Run a custom command instead of my shell.]チェックボックスにチェックを入力する。
- [Custom command]項目に、Zsh等のシェルの実行ファイルのフルパスを入力する。
他の方法として、.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等のシェルが使用できる。