win11 安装 Docker 及 vs code 开发

启动 Hyper-V 和虚拟机平台
这一部分, 有的系统是在 设置-->应用-->可选功能-->更多windows功能 中找到的.
但是, 我自己的系统是 设置-->系统--->可选功能-->更多windows功能 中找到的.
Windows 中 Docker 的配置文件在:
C:\Users\your_computer_name\.docker\config.json

Docker 中可以添加国内镜像:
====
Docker中国区官方镜像 https://registry.docker-cn.com
网易 http://hub-mirror.c.163.com
ustc https://docker.mirrors.ustc.edu.cn
====
(1) Docker 客户端中:
Setting--> Docker Eigen

{
  "builder": {
    "gc": {
      "defaultKeepStorage": "20GB",
      "enabled": true
    }
  },
  "experimental": false,
  "registry-mirrors": [
    "https://registry.docker-cn.com",
    "https://82m9ar63.mirror.aliyuncs.com",
    "http://hub-mirror.c.163.com",
    "https://docker.mirrors.ustc.edu.cn"
  ]
}

(2). 命令行添加
可以网上搜.

安装 fenicsx
(1). 按照 https://github.com/FEniCS/dolfinx 中提到的 docker 安装方式, 直接在 Windows PowerShell 中运行
docker run -ti dolfinx/dolfinx:stable
会提示 local 中没有 dolfinx, 然后会进行下载操作, 但是有时网络不好, 会出错. 我后来开了 vpn 才下载完成.
(2). 也可以在 docker hub (https://hub.docker.com/) 中搜索 dolfinx, 然后根据提示 docker pull dolfinx/dolfinx
利用本地的开发工具 VS Code, 直接将 Docker 容器作为开发环境
假设已经安装好 fenicsx 镜像,
(1). 打开 Docker 桌面，启动 fenicsx 容器.
(2). 打开 VS Code 的远程资源管理器 (Remote Explorer)
(3). 要连接 Docker 中的容器, 一定要先选择 Dev Containers, 如图中所示
接上面, 最初选择了 WSL Targets (我通过 wsl 安装了 Ubuntu-22.04),
(1). 在 WSL Targets 下可以正常连接 Ubuntu-22.04, 但是连接 dolfinx 时, 总是提示 vscode server for wsl closed unexpectedly 错误, 如图

(2) 切换到 Dev Containers 下, 才可以正常连接 Docker 中的 fenicsx.