andreijiroh.dev / site
~ajhalili2006's personal website, built with Zensical (successor of Material for Mkdocs) [old repo name got bugged while attempting to do manual knot migration via repo deletion] andreijiroh.dev
zensical mkdocs-material website
fork atom

fix(devenv): quick fix an issue again

Signed-off-by: Andrei Jiroh Halili <ajhalili2006@gmail.com>

andreijiroh.dev e7580aa0 8c14584e

options
unified split
Changed files
+1 -1
.gitpod.Dockerfile
+1 -1
.gitpod.Dockerfile 
···

       
1

       
1

       
 

       
# syntax=docker/dockerfile:1


     

       
2

       
2

       
 

       
FROM gitpod/workspace-full:latest as workspace


     

       
3

       
3

       
 

       



     

       
4

       

       
-

       
WORKDIR /


     

       

       
4

       
+

       
WORKDIR /tmp


     

       
5

       
5

       
 

       
# setup work for scdoc and hut cli


     

       
6

       
6

       
 

       
RUN git clone https://git.sr.ht/~sircmpwn/scdoc && cd scdoc \


     

       
7

       
7

       
 

       
    && make && sudo cp scdoc /usr/local/bin/scdoc && cd .. \