|
ce2b0e546d
|
fix: change permissions of _build
|
2021-11-30 21:58:34 +01:00 |
|
|
de00ec0a3f
|
fix: handle user UID/GID
|
2021-11-30 15:16:01 +01:00 |
|
|
4e09526845
|
fix: handle user UID/GID
|
2021-11-30 15:01:01 +01:00 |
|
|
4131813fa5
|
docker: switch to non-root user
|
2021-11-30 14:02:48 +01:00 |
|
|
e7bfbca9dc
|
docker: include chromium to build slides (fix)
|
2021-11-30 13:38:30 +01:00 |
|
|
ea801eacb8
|
docker: include chromium to build slides
|
2021-11-30 13:33:42 +01:00 |
|
|
8fa255631d
|
Update docker scripts
|
2021-11-23 23:46:50 +01:00 |
|
|
ce08f3d90f
|
Add docker files
|
2021-10-10 11:21:36 +02:00 |
|