mirror of
https://mau.dev/andreijiroh-dev/website.git
synced 2025-01-18 17:46:39 +00:00
Update hadolint config and fix some issues on gitpod Dockerfile
Signed-off-by: Andrei Jiroh Halili <ajhalili2006@gmail.com>
This commit is contained in:
parent
b35babf47a
commit
12ce4027df
2 changed files with 4 additions and 3 deletions
5
.gitpod.Dockerfile
vendored
5
.gitpod.Dockerfile
vendored
|
@ -2,12 +2,11 @@
|
||||||
FROM gitpod/workspace-full:latest as workspace
|
FROM gitpod/workspace-full:latest as workspace
|
||||||
|
|
||||||
WORKDIR /tmp
|
WORKDIR /tmp
|
||||||
RUN mkdir /home/gitpod/.local -pv \
|
RUN git clone https://git.sr.ht/~sircmpwn/scdoc && cd scdoc \
|
||||||
&& git clone https://git.sr.ht/~sircmpwn/scdoc && cd scdoc \
|
|
||||||
&& make && sudo cp scdoc /usr/local/bin/scdoc && cd .. \
|
&& make && sudo cp scdoc /usr/local/bin/scdoc && cd .. \
|
||||||
&& git clone https://git.sr.ht/~emersion/hut && cd hut \
|
&& git clone https://git.sr.ht/~emersion/hut && cd hut \
|
||||||
&& make PREFIX=/home/gitpod/.local && sudo cp ./hut /usr/local/bin/hut \
|
&& make PREFIX=/home/gitpod/.local && sudo cp ./hut /usr/local/bin/hut \
|
||||||
&& rm -rfv /tmp
|
&& sudo rm -rv /tmp/*
|
||||||
|
|
||||||
# https://squidfunk.github.io/mkdocs-material/setup/setting-up-social-cards/#linux
|
# https://squidfunk.github.io/mkdocs-material/setup/setting-up-social-cards/#linux
|
||||||
RUN sudo install-packages \
|
RUN sudo install-packages \
|
||||||
|
|
|
@ -1,3 +1,5 @@
|
||||||
ignored:
|
ignored:
|
||||||
- DL3004
|
- DL3004
|
||||||
|
- DL3007
|
||||||
|
- DL3003
|
||||||
failure-threshold: error
|
failure-threshold: error
|
Loading…
Reference in a new issue