CS3820_F23_CodespacesBase/.devcontainer.json at main · IowaFP/CS3820_F23_CodespacesBase · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
{
    "name" : "CS:3820F23 Problem Set 1",
    "image" : "docker.io/jgbm/cs3820:latest",
    "customizations": {
        "vscode": {
            "extensions" : ["haskell.haskell", "github.classroom"],
            "settings" : {
                "haskell" : {
                    "manageHLS" : "GHCup",
                    "toolchain" : {
                        "ghc" : "9.6.2",
                        "hls" : "2.1.0.0",
                        "cabal" : "3.10.1.0",
                        "stack" : null
                    }
                }
            }
        },
        "codespaces": {
            "extensions" : ["haskell.haskell", "github.classroom"],
            "settings" : {
                "haskell" : {
                    "manageHLS" : "GHCup",
                    "toolchain" : {
                        "ghc" : "9.6.2",
                        "hls" : "2.1.0.0",
                        "cabal" : "3.10.1.0",
                        "stack" : null
                    }
                }
            }
        }
    },


    "workspaceMount": "source=${localWorkspaceFolder},target=/home/vscode/ps1,type=bind,consistency=delegated",
    "workspaceFolder": "/home/vscode/ps1",

    "remoteUser": "vscode"
}