diff options
author | Erich Eckner <git@eckner.net> | 2020-01-15 16:00:11 +0100 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2020-01-15 16:00:11 +0100 |
commit | 97c282d122e1ef23c85f05128e4d68cb5f353b05 (patch) | |
tree | 57ea4cecc37cb7e07e992e72b31fe7fd97a0c0f5 | |
parent | ff6b30784dcd22f0afaddc4f821c21b91b6b944c (diff) | |
download | releng-97c282d122e1ef23c85f05128e4d68cb5f353b05.tar.xz |
build-isos: update website automatically, too
-rwxr-xr-x | build-isos | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -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.' ;; |