Windows 再インストールした結果としてWSL環境を作り直すことになった．せっかくなので次の(a)(b)(c)をやってみた：
(a) Cドライブ以外の場所にWSLを置き直すことにした．(Cドライブ以外の場所に置きたいのは，開発にともなってディスクの書き換えが頻繁に起こるからである)．
(b) WSLのホームディレクトリをなるべく浅いところに置いた．(たとえばホームディレクトリ以下で生成したファイルなどを取り出す場合，ホームディレクトリがわかりやすい場所にあると楽だ．)
(c) chmod できるようにする．デフォルトではWSLではchmodが無視される．このことにより問題が起こる場合もあるのでこのfixは重要．
1. Fドライブ(でもなんでも)直下に WindowsSubsystemForLinux と WSLHOME というフォルダを作っておく．WindowsSubsystemForLinux にWSLが置かれる予定である．WSLHOMEが将来WSLのホームディレクトリになる．
2. WSLを入れる準備を行う．Power Shell を管理者権限で開き，次のように入力する：
PS C:\Users\Henrik> Enable-WindowsOptionalFeature -Online -FeatureName Microsoft-Windows-Subsystem-Linux
再起動を要求されるのでそれに従う．
3. Microsoft Storeを開き，linux で検索すると色々候補がでる．ここでは Ubuntu 18.04LTS を選んだ前提で話を進める．Ubuntu@WSL を初回起動し username/password を入れておく．以下では username = konrad とする．その後 exit して Ubuntu を終了する．
4. Power Shell を管理者として実行する．（しばらくPower Shell での作業が続く）．
まずchocolatelyを入れる：
PS C:\Users\Henrik> Set-ExecutionPolicy Bypass -Scope Process -Force; iex ((New-Object System.Net.WebClient).DownloadString('https://chocolatey.org/install.ps1'))
次にlxrunofflineを入れる：
PS C:\Users\Henrik> choco install lxrunoffline
質問されたら y で答えてインストールを完了し exit する．
5. 再び Power Shell を管理者権限で起動する．
念のためユーザ名を確認しておく：
PS C:\Users\Henrik> whoami
desktop\henrik
すなわちWindowsのユーザ名は henrik であることが確認できた．（この「henrik」の箇所は各自読み替えてほしい）．次にFドライブ直下のWindowsSubsystemForLinux フォルダに書き込み権限を与える：
PS C:\Users\Henrik> icacls F:\WindowsSubsystemForLinux /grant "henrik:(OI)(CI)(F)"
処理ファイル: F:\WindowsSubsystemForLinux
1 個のファイルが正常に処理されました。0 個のファイルを処理できませんでした
PS C:\Windows\system32>
次に
PS C:\Users\Henrik> lxrunoffline move -n Ubuntu-18.04 -d f:\WindowsSubsystemForLinux
する．確かに移動ができたことを確認しておく：
PS C:\Windows\system32> lxrunoffline get-dir -n Ubuntu-18.04
f:\WindowsSubsystemForLinux
以上でWSLがFドライブに置かれるようになった．
6. homeの移動．Ubuntu@WSL から
$ cd ~
$ cp -p .* /mnt/f/WSLHOME/
のようにして、「.bash_logout」、「.bashrc」、「.profile」などをなるべくそのまま(-p オプション)コピーしておく．
7. Ubuntu@WSL から
$ sudo vi /etc/passwd
して最後の方の行
konrad:x:1000:1000:"",,,:/home/konrad:/bin/bash
を
konrad:x:1000:1000:"",,,:/mnt/f/WSLHOME:/bin/bash
と変更し，:wqする．$ exitして一度WSLを終了する．
8. ふたたびWSLを起動して Ubuntu@WSL で
konrad@DESKTOP:~$ cd;pwd
/mnt/f/WSLHOME
となっていればよい．
9. chmod 対応．まず，/etc/wsl.conf というファイルを必要ならば作る：
$sudo touch /etc/wsl.conf
$sudo vim /etc/wsl.confのようにして編集する．
(case1)もし空ファイルだったら
[automount]
options = "metadata"
のように書いて保存する．
(case2)もしすでに
[automount]
options = "foo"
という行があったら
[automount]
options = "metadata, foo"
のように修正し，保存する．
10. その他(git の設定)
改行コードを変更しないようにする．
$ git config --global core.autocrlf input
参考にした記事：
Can I move the linux subsystem to a different drive?
Bash on Windowsのホームディレクトリ変更
WSLからマウントしたWindowsのドライブでchmodしたい
