andreijiroh-dev/website
1
0
Fork 0
mirror of https://mau.dev/andreijiroh-dev/website.git synced 2025-05-10 23:53:09 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 1

Enable CI for custom Docker workspace image on Gitpod

Browse source 
Signed-off-by: Andrei Jiroh Halili <ajhalili2006@gmail.com>
This commit is contained in:
Andrei Jiroh Halili 2023-07-03 16:54:04 +00:00
parent 112f193209
commit 4a74c1ec59
3 changed files with 115 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

11
.gitpod.Dockerfile vendored
View file

@ -1,5 +1,13 @@
# syntax=docker/dockerfile:1
FROM gitpod/workspace-full
FROM gitpod/workspace-full:latest as workspace
WORKDIR /tmp
RUN mkdir /home/gitpod/.local -pv \
&& git clone https://git.sr.ht/~sircmpwn/scdoc && cd scdoc \
&& make && sudo cp scdoc /usr/local/bin/scdoc && cd .. \
&& git clone https://git.sr.ht/~emersion/hut && cd hut \
&& make PREFIX=/home/gitpod/.local && sudo cp ./hut /usr/local/bin/hut \
&& rm -rfv /tmp
# https://squidfunk.github.io/mkdocs-material/setup/setting-up-social-cards/#linux
RUN sudo install-packages \
@ -14,4 +22,5 @@ RUN sudo install-packages \
COPY --from=docker/buildx-bin:latest /buildx /usr/libexec/docker/cli-plugins/docker-buildx
# brew maintenance + install ShellCheck and Hadolint
WORKDIR /home/gitpod
RUN brew update && brew install hadolint shellcheck