-
Notifications
You must be signed in to change notification settings - Fork 1
/
.gitpod.yml
102 lines (88 loc) · 2.51 KB
/
.gitpod.yml
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
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
github:
prebuilds:
branches: true
master: true
image:
file: Dockerfile
tasks:
- before: |
set -euxo pipefail
sudo chown $USER:$USER /etc/resolv.conf
for f in .cargo .deno .docker .elan .gnupg .opam .parallel .rustup .ssh .wine
do
mkdir -p ~/$f
if [[ -d /workspace/$f ]]
then
rm -rf ~/$f
else
mv ~/$f /workspace
fi
mkdir ~/$f
sudo mount --bind /workspace/$f ~/$f
done
for f in .nix-channels .python_history
do
touch ~/$f
if [[ -f /workspace/$f ]]
then
rm ~/$f
else
mv ~/$f /workspace
fi
touch ~/$f
sudo mount --bind /workspace/$f ~/$f
done
sudo mkdir -m 0755 /nix
sudo chown $USER:$USER /nix
mkdir -m 0755 -p /workspace/.nix
sudo mount --bind /workspace/.nix /nix
init: |
/workspace/gitpod-ghc/utils/init-mold.sh \
parallel --halt now,fail=1 --line-buffer bash ::: \
/workspace/gitpod-ghc/utils/init-bashrc.sh \
/workspace/gitpod-ghc/utils/init-cloc.sh \
/workspace/gitpod-ghc/utils/init-deno.sh \
/workspace/gitpod-ghc/utils/init-elfshaker.sh \
/workspace/gitpod-ghc/utils/init-ghc.sh \
/workspace/gitpod-ghc/utils/init-haskell.sh \
/workspace/gitpod-ghc/utils/init-nix.sh \
/workspace/gitpod-ghc/utils/init-proot.sh \
/workspace/gitpod-ghc/utils/init-python-tools.sh \
/workspace/gitpod-ghc/utils/init-rust.sh \
/workspace/gitpod-ghc/utils/init-sccache.sh \
/workspace/gitpod-ghc/utils/init-ssh.sh \
/workspace/gitpod-ghc/utils/init-vcpkg.sh
/workspace/gitpod-ghc/utils/init-hls.sh
pushd /workspace/ghc
./configure
/workspace/gitpod-ghc/utils/prebuild-ghc.sh
popd
command: |
for i in $(ls -A /workspace/.bashrc.d)
do
source /workspace/.bashrc.d/$i
done
if [[ -d /workspace/ghc ]]
then
sleep 4
code -r /workspace/ghc
fi
exit
vscode:
extensions:
- denoland.vscode-deno
- dhall.dhall-lang
- eamodio.gitlens
- haskell.haskell
- justusadam.language-haskell
- leanprover.lean4
- arrterian.nix-env-selector
- ocamllabs.ocaml-platform
- esbenp.prettier-vscode
- ms-python.python
- stkb.rewrap
- rust-lang.rust-analyzer
- timonwong.shellcheck
- llvm-vs-code-extensions.vscode-clangd
- dhall.vscode-dhall-lsp-server
- ms-azuretools.vscode-docker