From 75900071e46f30ca51e0131045d09f2990cada0a Mon Sep 17 00:00:00 2001 From: rusefillc Date: Wed, 13 Oct 2021 21:39:01 -0400 Subject: [PATCH] https://github.com/rusefi/rusefi_documentation/issues/170 --- misc/actions/pinouts-push-to-pages.sh | 13 ++++++++++++- 1 file changed, 12 insertions(+), 1 deletion(-) diff --git a/misc/actions/pinouts-push-to-pages.sh b/misc/actions/pinouts-push-to-pages.sh index db2834fc35..4126af5578 100755 --- a/misc/actions/pinouts-push-to-pages.sh +++ b/misc/actions/pinouts-push-to-pages.sh @@ -4,7 +4,18 @@ rm -rf workarea mkdir workarea git clone https://github.com/rusefi/rusefi.github.io.git workarea/pages -mv -u pinouts/ workarea/pages/ + +# +# drama: we have two kinds of index files: +# 1) we have proper pinouts +# 2) we need to explicitly generate directory index files since github actions does not provide directory listing +# at the moment 'gen_index.py' overrides pinouts files +# TODO: make gen_index.py skip existing file? or create pinouts, then gen_index.py, and then create pinouts AGAIN to save those while enjoying additions to index files?! +# + +rsync -a -v pinouts/ workarea/pages/pinouts/ + + cd workarea/pages/ git add * git status