Stream: Miscellaneous

Topic: Zulip archive


view this post on Zulip Gabriel Scherer (May 16 2021 at 12:47):

@Théo Zimmermann I just wrote a script to generate types-Zulip archives using Gitlab CI + Pages. Would you be willing to eat my own dogfood by trying the script for a second instance?

view this post on Zulip Gabriel Scherer (May 16 2021 at 12:48):

https://gitlab.com/gasche/zulip-archive-gitlab-ci

view this post on Zulip Théo Zimmermann (May 16 2021 at 18:42):

Wow, that's great @Gabriel Scherer! I'll definitely try to use it for the Coq Zulip and let you know if I run in any trouble.

view this post on Zulip Théo Zimmermann (May 24 2021 at 15:51):

Thanks to @Gabriel Scherer, we know have a public archive at https://coq.gitlab.io/zulip-archive/.

view this post on Zulip Théo Zimmermann (May 24 2021 at 15:51):

However, this is not yet updated automatically. The documentation suggests to set up a scheduled pipeline manually, but AFAICS, this can only be set up by modifying .gitlab-ci.yml.

view this post on Zulip Théo Zimmermann (May 24 2021 at 15:52):

@Gabriel Scherer Shouldn't the template include some code for scheduled pipelines?

view this post on Zulip Yannick Forster (May 24 2021 at 17:46):

That's great! Small teething problem: I'm getting 404 errors when clicking on timestamps of messages in a topic overview. There's a -gitlab-ci in the URL which likely shouldn't be there.

view this post on Zulip Gabriel Scherer (May 24 2021 at 19:23):

@Théo Zimmermann no, you can create a scheduled pipeline manually from the web interface

view this post on Zulip Gabriel Scherer (May 24 2021 at 19:23):

actually I don't know how to add the to .gitlab-ci.yml -- pull requests welcome!

view this post on Zulip Gabriel Scherer (May 24 2021 at 19:23):

the manual way is in the "CI/CD > Schedules" corner of the repository menu

view this post on Zulip Gabriel Scherer (May 24 2021 at 19:24):

I tried to document this in the README, but apparently I failed

view this post on Zulip Théo Zimmermann (May 24 2021 at 19:26):

Oh no, you're right and I read too fast: I was looking for this under Settings.

view this post on Zulip Théo Zimmermann (May 24 2021 at 19:30):

OK, so I've now set up a scheduled pipeline to run every hour.

view this post on Zulip Théo Zimmermann (May 24 2021 at 19:33):

Yannick Forster said:

That's great! Small teething problem: I'm getting 404 errors when clicking on timestamps of messages in a topic overview. There's a -gitlab-ci in the URL which likely shouldn't be there.

Now fixed, by re-running a pipeline (after I changed the name of the repo).

view this post on Zulip Théo Zimmermann (May 24 2021 at 19:35):

I guess we should add a link to https://coq.inria.fr/community and then make an announcement on #Announcements. WDYT @Cyril Cohen?

view this post on Zulip Gabriel Scherer (May 24 2021 at 19:40):

I would welcome a last PR to add a link to your archives to the "Known Deployments" list of https://gitlab.com/gasche/zulip-archive-gitlab-ci . (One reason to maintain that is that communities are terrible about advertising their Zulip chats outside their core users, so any cross-links from one to another is a win.)

view this post on Zulip Karl Palmskog (Sep 10 2021 at 09:25):

@Théo Zimmermann isn't it time to announce the Zulip archive link more widely and even put a link on the Coq website? The hourly updates seem to work fine to me.

view this post on Zulip Théo Zimmermann (Sep 10 2021 at 09:26):

Right, I had announced in June that this would be done "in a few days".

view this post on Zulip Théo Zimmermann (Sep 10 2021 at 09:27):

Would you mind either opening a PR adding a link or opening an issue on the www repo and assigning it to me?

view this post on Zulip Karl Palmskog (Sep 10 2021 at 09:30):

OK, I can do a www PR. But I think it should also be put on the Discourse.

view this post on Zulip Karl Palmskog (Sep 10 2021 at 09:50):

any help to get the "other PR" unstuck also appreciated

view this post on Zulip Théo Zimmermann (Sep 10 2021 at 10:13):

I'm not so sure that it should be announced on Discourse given that it's purely related to Zulip and was already announced there...

view this post on Zulip Karl Palmskog (Sep 10 2021 at 10:17):

well, how about just putting a message in the Zulip announcement thread with the link: https://coq.discourse.group/t/creation-of-a-zulip-chatroom/839

view this post on Zulip Yannick Forster (Sep 14 2021 at 14:45):

For convenience, I would find it very helpful if there would be a link from the archive to the actual discussion in Zulip. Is that possible?

view this post on Zulip Théo Zimmermann (Sep 14 2021 at 14:48):

Here is the tool we use: https://github.com/zulip/zulip-archive

view this post on Zulip Théo Zimmermann (Sep 14 2021 at 14:49):

And here is the way we deploy it: https://gitlab.com/gasche/zulip-archive-gitlab-ci

view this post on Zulip Théo Zimmermann (Sep 14 2021 at 14:49):

I don't know more that this. Feel free to look around / open issues / report what you found :smile:

view this post on Zulip Yannick Forster (Sep 14 2021 at 16:16):

Thanks! In fact, one can go to the actual Zulip discussion by clicking on the profile picture of the poster of a message. That wasn't very obvious too me, especially since the profile pictures are not displayed properly, but I guess it's good enough.

view this post on Zulip Yannick Forster (Sep 14 2021 at 16:18):

Two more questions: Is it intended that the profile pictures are not shown? Is it intended that we just have black on white? The Lean zulip archive looks a lot more modern and accessible. (I'm asking because it might be a bug or it might be just that nobody yet found the time to giving it a nicer look and feel)

view this post on Zulip Théo Zimmermann (Sep 14 2021 at 21:05):

I wouldn't know. We should ask @Gabriel Scherer.

view this post on Zulip Gabriel Scherer (Sep 14 2021 at 21:19):

It's possible to customize the HTML&CSS of the generated archive, and the Learn archive does it, but I never worked on doing this within zulip-archive-gitlab-ci . @Yannick Forster if you (or someone you know) would be willing to give it a try, Merge Requests are warmly welcome.

view this post on Zulip Gabriel Scherer (Sep 14 2021 at 21:20):

Note: older versions of the zulip-archive tool used Jekyll, which made customization somewhat easy (drop Mustache templates in a _layout directory), but newer versions of the script have a more ad-hoc and simpler customization mechanism. The Lean archive still uses an older version of the tool, so their approach is not directly reusable / future-proof.


Last updated: Aug 19 2022 at 21:02 UTC