From f848ec4abb5933e23b215896d70eb34950ff8c4f Mon Sep 17 00:00:00 2001 From: Niki Roo Date: Wed, 3 Jul 2024 14:55:56 +0200 Subject: [PATCH] mkdocs update --- .gitmodules | 4 ++++ mkdocs/site | 1 + mkdocs/update.sh | 21 ++++++++++++++++++--- 3 files changed, 23 insertions(+), 3 deletions(-) create mode 100644 .gitmodules create mode 160000 mkdocs/site diff --git a/.gitmodules b/.gitmodules new file mode 100644 index 0000000..35b640b --- /dev/null +++ b/.gitmodules @@ -0,0 +1,4 @@ +[submodule "mkdocs/site"] + path = mkdocs/site + url = git@git.nikiroo.be:workspace/notes.git + branch = html diff --git a/mkdocs/site b/mkdocs/site new file mode 160000 index 0000000..222a230 --- /dev/null +++ b/mkdocs/site @@ -0,0 +1 @@ +Subproject commit 222a2306973db10bc76ff67f16fb1f6a44832a1f diff --git a/mkdocs/update.sh b/mkdocs/update.sh index 433dd43..a28c1e6 100755 --- a/mkdocs/update.sh +++ b/mkdocs/update.sh @@ -1,10 +1,10 @@ #!/bin/sh -cd "`dirname "$0"`" || exit 42 DDIR=/home/user/Notes if [ "$1" = "" ]; then # Host + cd "`dirname "$0"`" || exit 42 cd .. rm -f mkdocs/ok touch mkdocs/wip @@ -17,9 +17,24 @@ if [ "$1" = "" ]; then [ -e mkdocs/ok ] ; rep=$? ; rm -f mkdocs/ok if [ $rep = 0 ]; then echo Copying to remote site... - echo TODO + cd mkdocs/site + git add . + if [ $? != 0 ]; then + echo Failure to add newly built html site >&2 + exit 20 + fi + git commit -m "`date +"Auto commit %Y-%m-%d %H:%M"`" + if [ $? != 0 ]; then + echo Failure to commit to git >&2 + exit 21 + fi + git push nikiroo html + if [ $? != 0 ]; then + echo Failure to push html branch to nikiroo >&2 + exit 22 + fi else - echo Failed to update, no remote copy started: $rep + echo Failed to update, no remote copy started: $rep >&2 fi rm -f mkdocs/wip exit $rep -- 2.27.0