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