site: Move domain setup to workflow

This commit is contained in:
Tom Hubrecht 2023-06-30 14:04:43 +02:00
parent 794c3dbae3
commit 918a84302e
3 changed files with 7 additions and 3 deletions

View file

@ -56,6 +56,12 @@ jobs:
git add . git add .
git diff-index --quiet HEAD || git commit --message "Automatic pages update from $ORIGIN_COMMIT" git diff-index --quiet HEAD || git commit --message "Automatic pages update from $ORIGIN_COMMIT"
echo "[+] Adding .domains file"
cat << EOL > "$GIT_REPOSITORY/.domains"
dgnum.eu
dev.dgnum.eu
EOL
echo "[+] Pushing update" echo "[+] Pushing update"
git push "$GIT_CMD_REPOSITORY" --set-upstream main git push "$GIT_CMD_REPOSITORY" --set-upstream main
env: env:

View file

@ -1,2 +0,0 @@
dgnum.eu
dev.dgnum.eu

View file

@ -75,7 +75,7 @@ main = hakyll $ do
poles <- extractMeta "poles" poles <- extractMeta "poles"
-- Static files -- Static files
match ("vendor/**" .||. "images/**" .||. "documents/**" .||. ".domains" .||. filePattern) $ do match ("vendor/**" .||. "images/**" .||. "documents/**" .||. filePattern) $ do
route idRoute route idRoute
compile copyFileCompiler compile copyFileCompiler