你即將離開本站

並前往https://lists.chalmers.se/pipermail/agda/2021/012790.html

[Agda] agda under windows WSL - Chalmers

If one moves files to the root directory of the linux file system then one doesn't have this problem anymore. However one needs to make sure ...

確定！ 回上一頁

查詢 「WSL root path」的人也找了：

  1. WSL root path
    2.
  2. WSL path
    3.
  3. Windows 10 wsl2 home directory
    4.
  4. Windows 10 access Linux file system
    5.
  5. WSL2 shared folder
    6.
  6. Wsl start in Linux home directory
    7.
  7. WSL home directory in Explorer
    8.
  8. Windows access Ubuntu folder
    9.