File tree 4 files changed +15
-4
lines changed
4 files changed +15
-4
lines changed Original file line number Diff line number Diff line change 4
4
"dockerfile" : " GHC.Dockerfile" ,
5
5
"args" : {
6
6
"GHC_VERSION" : " 9.6.5" ,
7
- "HLS_VERSION" : " 2.8 .0.0" ,
7
+ "HLS_VERSION" : " 2.9 .0.0" ,
8
8
"USE_ZSH_FOR_ROOT" : " unset-to-use-ash" ,
9
9
"SET_LANG" : " C.UTF-8" ,
10
10
"SET_TZ" : " "
11
11
}
12
12
},
13
13
14
14
"onCreateCommand" : " onCreateCommand.sh" ,
15
- "postCreateCommand" : " cabal update " ,
15
+ "postCreateCommand" : " postCreateCommand.sh " ,
16
16
17
17
"features" : {
18
18
"ghcr.io/devcontainers/features/common-utils:2" : {
Original file line number Diff line number Diff line change 12
12
},
13
13
14
14
"onCreateCommand" : " onCreateCommand.sh" ,
15
- "postCreateCommand" : " cabal update " ,
15
+ "postCreateCommand" : " postCreateCommand.sh " ,
16
16
17
17
"features" : {
18
18
"ghcr.io/devcontainers/features/common-utils:2" : {
Original file line number Diff line number Diff line change 12
12
},
13
13
14
14
"onCreateCommand" : " onCreateCommand.sh" ,
15
- "postCreateCommand" : " cabal update " ,
15
+ "postCreateCommand" : " postCreateCommand.sh " ,
16
16
17
17
"features" : {
18
18
"ghcr.io/devcontainers/features/common-utils:2" : {
Original file line number Diff line number Diff line change
1
+ #! /usr/bin/env bash
2
+ # Copyright (c) 2023 b-data GmbH.
3
+ # Distributed under the terms of the MIT License.
4
+
5
+ set -e
6
+
7
+ # Change ownership of the stack folder
8
+ sudo chown " $( id -u) " :" $( id -g) " /workspaces/stack
9
+
10
+ # Updates list of known packages
11
+ cabal update
You can’t perform that action at this time.
0 commit comments