[Ur] Ur on gitlab pages

[Artyom Shalkhakov]

Hi Matt,

Very interesting, thanks for sharing!

I have a somewhat convoluted setup:

* [make] is used throughout (I'm just used to it, sigh)
* [wget] is used to scrape the pages and save them to a file (using
-static protocol, I could not get the dynamic JS file output)
* both the source code and the output files are contained in the same
repo but in different branches: source and master, respectively
* urweb is invoked locally, because it may take quite some memory/CPU
to build the whole application (but, in my case, it turned out that
urweb can churn through the pages just fine)


2017-04-16 17:46 GMT+06:00 Matt Rice <ratmice at gmail.com>:
> I thought I would post a little example of using gitlab's CI
> and container registry to build docker images containing urweb
> then generate static sites using that container that get uploaded to
> Gitlab pages.
>
> https://ratmice.gitlab.io/gitlab-urweb-pages
>
> Overall It seems I used much the same method of static site generation as
> Artyom Shalkhakov, did on github.io, which is running the urweb
> executable and then crawling it.
>
> cheers
>
> _______________________________________________
> Ur mailing list
> Ur at impredicative.com
> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur



-- 
Cheers,
Artyom Shalkhakov