WSL 上 ArchLinux の Windows Terminal への登録 - みねっちょのマイコン関係ブログ

みねっちょのマイコン関係ブログ

組込開発系フリーソフトやハードの情報発信ブログ

WSL 上 ArchLinux の Windows Terminal への登録

サイト内 Google 検索:


最終更新:2021-06-05
【こちらの別記事】にて WSL 上に Windows の標準コマンドのみを使用してインストールした ArchLinux を、Microsoft 製の 新しい Windows Terminal (The new Windows Terminal) から利用する手順を紹介します。尚、起動時のデフォルト ユーザ設定は事前に済ませておく必要が有ります。デフォルト ユーザが root のまま使用すると、VSCode (Visual Studio Code) 使用時に作成されるファイルの所有者が root に成る等の問題が発生します。

目次:

前提条件:



アイコンのダウンロード:

Wikimedia Commons から、Windows Terminal に表示する ArchLinux のアイコンをダウンロードさせて頂く事にします。ファイルは PNG 形式の小さい物が良いです。SVG 形式のファイルは使用表示出来ません。
次のサイトに有る PNG preview が丁度良いので、右クリックでダウンロードします。ダウンロードしたファイルは E:\WSL\ArchLinux\rootfs に置く事にします。

Windows Terminal への登録:

次の手順にてマイクロソフト製の「新しい Windows Terminal」(The new Windows Terminal) への登録を行います。
尚、wsl にアーカイブをインポートした時の名称は ArchLinux、sudo 権限を持ったユーザはウィンドウズにログオン中のユーザ名であるという前提で進めます。また、WSL 起動時のデフォルト ユーザは【こちらの別記事】に従って変更しておいてください。デフォルト ユーザ設定の変更を行わずに root のまま進めると、vscode の使用時等に問題が発生します。

  1. Windows Terminal を開き、上部バーの下向きブラケットをクリックし、プルダウン メニューから「設定」を選びます。
    f:id:minettyo:20210521182317j:plain
  2. 左列の「+新規追加」をクリックします。
  3. 「全般」タブで次の通り入力します。
    • 名前: ArchLinux
    • コマンドラインwsl.exe -d ArchLinux
    • ディレクトリの開始://wsl$/ArchLinux/home/%username%
      ArchLinux 上のホームディレクトリがウィンドウズのログオン名と異なる場合は %username% を適宜書き換えてください。
    • アイコン: E:\WSL\ArchLinux\rootfs\65px-Archlinux-icon-crystal-64.svg.png 前節でダウンロードしたアイコンを指定します。
    • 役職: 空白のままで大丈夫です。Desk とか Chair とか書いても自由です。
  4. 以上の入力が終わったら、右下の「保存」を一旦クリックします。
    これで Windows Terminal への登録は完了していますが、外観の変更に進みます。


フォントの変更:

フォントを見やすくする為に DejaVu Sans Mono に変更します。好みに応じて適宜変更してください。

  1. 外観タブをクリックし、次の通り入力します。
    f:id:minettyo:20210519175245j:plain
    • フォントフェイス:DejaVu Sans Mono
    • フォントサイズ:適宜選択します
    • カーソルの形:ビンテージを選択します。
  2. 以上の設定が終了したら、右下の「保存」をクリックします。
  3. 設定タブを閉じます。

ターミナル タブへの文字の表示:

ターミナル エミュレータのタブ内には、シェル プロンプトの先頭行が表示されます。そこで、.bashrc 内の PS1 の先頭に次の文字列を足します。WSL2: の文字列の部分には好みの文字列を入力してください。\w はカレントディレクトリを表示します。

\[\033]0;WSL2:\w\007\]

その他のシーケンスに関しては man bash コマンド後に /^PROMPTING と打つと検索できます。例えば次のような設定で、コマンド履歴の番号と、現在のディレクトリのベースネームが表示可能です。

PS1='\[\033]0;WSL2:\w\007\][\!:\W]\$ '

結果は次の様になります。
f:id:minettyo:20210519191341j:plain


【広告】


【WSL 関係の目次へ戻る】