Files
china-dictatorship/push

47 lines
1.5 KiB
Plaintext
Raw Normal View History

2020-08-04 06:00:05 +00:00
#!/usr/bin/env bash
# https://github.com/cirosantilli/china-dictatorship#mirrors
set -eux
2021-07-27 12:12:27 +01:00
2020-08-04 06:00:05 +00:00
make
2021-07-27 12:12:27 +01:00
make multipage
2020-08-04 06:00:05 +00:00
git push --follow-tags
2021-04-28 04:00:03 +00:00
git push git@gitlab.com:cirosantilli/china-dictatorship.git
2020-08-04 06:00:05 +00:00
2021-07-27 12:12:27 +01:00
out_dir=out/
out_multipage_dir="${out_dir}/multipage"
2020-08-04 06:00:05 +00:00
# GitHub pages.
# One time initial setup.
# git checkout --orphan gh-pages
# and copy over https://github.com/cirosantilli/jekyll-min
2021-07-27 12:12:27 +01:00
gh_pages_dir="${out_dir}/gh-pages"
2020-08-04 06:00:05 +00:00
if [ ! -d "$gh_pages_dir" ]; then
mkdir -p "$gh_pages_dir"
2021-04-28 08:00:07 +00:00
git clone --branch gh-pages --depth 1 "$(git remote get-url origin)" "$gh_pages_dir"
2020-08-04 06:00:05 +00:00
fi
cp README.html "${gh_pages_dir}/index.html"
2021-07-27 12:12:27 +01:00
cp "${out_multipage_dir}/"* "$gh_pages_dir"
mv "${gh_pages_dir}/README.html" "${gh_pages_dir}/index-split.html"
2021-04-28 03:00:02 +00:00
git -C "$gh_pages_dir" add .
2020-08-04 06:00:05 +00:00
if git -C "$gh_pages_dir" commit -m "$(git log -1 --format="%H")"; then
git -C "$gh_pages_dir" push
2021-04-28 13:00:12 +00:00
fi
# GitLab pages
2021-06-07 11:22:15 +01:00
gl_pages_dir="${out_dir}/gl-pages"
2021-07-27 12:14:58 +01:00
gl_pages_public_dir="${gl_pages_dir}/public"
2021-04-28 13:00:12 +00:00
if [ ! -d "$gl_pages_dir" ]; then
2021-06-07 11:22:15 +01:00
mkdir -p "${out_dir}"
git clone --branch gl-pages --depth 1 git@gitlab.com:cirosantilli/china-dictatorship.git "$gl_pages_dir"
2021-04-28 13:00:12 +00:00
fi
2021-07-27 12:14:58 +01:00
make MEDIA=https://gitlab.com/cirosantilli/china-dictatorship-media/-/raw/master OUT="${gl_pages_public_dir}/index.html"
2021-04-28 13:00:12 +00:00
cp .gitlab-ci.yml "${gl_pages_dir}"
2021-07-27 12:14:58 +01:00
cp "${out_multipage_dir}/"* "$gl_pages_public_dir"
mv "${gl_pages_public_dir}/README.html" "${gh_pages_dir}/index-split.html"
2021-04-28 13:00:12 +00:00
git -C "$gl_pages_dir" add .
if git -C "$gl_pages_dir" commit -m "$(git log -1 --format="%H")"; then
git -C "$gl_pages_dir" push
2020-08-04 06:00:05 +00:00
fi