firedrake安装

注意以下安装过程都是默认在docker环境下的服务器进行的，用户需要被服务器管理员添加锦docker组1:百度搜索firedrake官网，进去，然后Ctrl + f，搜索docker，找到下面这个部分2：点击进入上面提到的docker image，复制右边的命令：docker pull firedrakeproject/firedrake，把这段命令复制到服务器终端，然后服务器会开始下载跟firedrake相关的库，大概有两三个G.3：下载完了以后，键入命令：docker run -it – p