Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2020-01-15 16:00:11 +0100
committerErich Eckner <git@eckner.net>2020-01-15 16:00:11 +0100
commit97c282d122e1ef23c85f05128e4d68cb5f353b05 (patch)
tree57ea4cecc37cb7e07e992e72b31fe7fd97a0c0f5
parentff6b30784dcd22f0afaddc4f821c21b91b6b944c (diff)
build-isos: update website automatically, too
-rwxr-xr-xbuild-isos3
1 files changed, 3 insertions, 0 deletions
diff --git a/build-isos b/build-isos
index 4d7349a..7072b3f 100755
--- a/build-isos
+++ b/build-isos
@@ -66,10 +66,13 @@ case "$(hostname -s)" in
printf '%s.torrent\n' ${isos}
) feed_dual.rss feed_i686.rss "${destination}/"
+ git -C "${base_dir}/../archweb32" pull --ff-only
"${base_dir}/update-website" \
--torrent-seed-i686 "https://pool.mirror.archlinux32.org/archisos/archlinux-${date}-i686.iso.torrent" \
--torrent-seed-dual "https://pool.mirror.archlinux32.org/archisos/archlinux-${date}-dual.iso.torrent" \
--update-iso
+ git -C "${base_dir}/../archweb32" commit 'download/index.html' -m 'download/index.html: new isos ('"${date}"')'
+ git -C "${base_dir}/../archweb32" push
echo '... done.'
;;