|
12e09be6df
|
doc: add comments in entrypoint
|
2022-01-25 17:09:21 +01:00 |
|
|
5d60e2043d
|
marp: handle theme for build-slides
|
2022-01-25 17:09:21 +01:00 |
|
|
3bb91fa2b0
|
docker: add shell command to entrypoint
|
2022-01-25 17:09:21 +01:00 |
|
|
d43f349827
|
docker: test if _build directory exists before chown
|
2022-01-25 17:09:21 +01:00 |
|
|
b9396e150c
|
fix: change permissions of _build
|
2022-01-25 17:09:21 +01:00 |
|
|
d8354512e3
|
fix: handle user UID/GID
|
2022-01-25 17:09:21 +01:00 |
|
|
141b1e33f2
|
fix: handle user UID/GID
|
2022-01-25 17:09:21 +01:00 |
|
|
dd5b7d8591
|
docker: switch to non-root user
|
2022-01-25 17:09:21 +01:00 |
|
|
712a50930b
|
Update docker scripts
|
2022-01-25 17:06:26 +01:00 |
|
|
9e68c430f2
|
Add docker files
|
2022-01-25 17:06:26 +01:00 |
|