|
2fd1b7e9f5
|
ci: handle no-tty mode
|
2022-01-25 17:09:21 +01:00 |
|
|
95e3391634
|
scripts: make slides/docs optional (in case of missing directory)
|
2022-01-25 17:09:21 +01:00 |
|
|
141b1e33f2
|
fix: handle user UID/GID
|
2022-01-25 17:09:21 +01:00 |
|
|
45c42d0bfe
|
script: fix volumes in gx-teaching
|
2022-01-25 17:09:21 +01:00 |
|
|
3572ceffed
|
scripts: fix theme detection
|
2022-01-25 17:09:21 +01:00 |
|
|
00b992e2f5
|
Disable marp theme if not needed
|
2022-01-25 17:09:21 +01:00 |
|
|
feb4a20cc1
|
Update script
|
2022-01-25 17:09:21 +01:00 |
|