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