12,964
回編集
(→シェルの変更) |
編集の要約なし |
||
24行目: | 24行目: | ||
<br> | <br> | ||
これにより、Gnome Terminalを起動する時、Zsh等のシェルが使用できる。<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> | <br><br> | ||
__FORCETOC__ | __FORCETOC__ | ||
[[カテゴリ:CentOS]][[カテゴリ:SUSE]][[カテゴリ:Raspberry_Pi]] | [[カテゴリ:CentOS]][[カテゴリ:SUSE]][[カテゴリ:Raspberry_Pi]] |