This commit is contained in:
2021-08-26 13:53:25 +02:00
parent df207feced
commit a5030f6dc6
6 changed files with 3 additions and 114 deletions

View File

@@ -7,9 +7,10 @@ tasks:
bash /tmp/install.sh
source /workspace/env.sh
publtools_check
cd wiki_config && publishtools flatten
cd config
publishtools install
cd ..
echo ' - do "./wiki_run" to run wiki.'
echo ' - do "publishtools run" to run website.'
echo ' - do "open workspace.code-workspace" to open all relevant dirs in your editor.'
ports:
- port: 9998