Should other languages than English be allowed on the Discourse forum?

Miscellaneous
41

That’s why I also suggested the description as a possible location, so one would still have a nice list at https://coq.discourse.group/.

Or it could be just the 2-letter code, as in “Coq auf deutsch [de]”, “Coq en français [fr]”.

42

The two-letter code sounds reasonable. Note that you can also get this information by going over the link with your mouse and checking the target URL.

43

@yforster Don’t forget to update the text and title of About the Ankündigungen category

@anton-trunov Don’t forget to update the text and title of About the Coq на русском category (in particular, the first paragraph will become the description of the category on the main page) and About the Объявления category.

If no one is against the idea, I’ll add the two-letter language codes to the titles of the categories, as suggested by @RalfJ (i.e. [zh] / [es] / [fr] / [de] / [ru]).

1 Like
44

@Zimmi48 Done. Thank you for creating the new categories.

1 Like
45

Great, thanks!
Did you forget to do that? I cannot see any change on https://coq.discourse.group/

46

I did. Thanks for the reminder.

47

@elkorashy has proposed himself to moderate the Arabic category in case there is interest in adding one (thanks!). Should I go ahead and create one right now, or should we wait that people express interest in having such a category? (Especially given the current lack of activity in the existing language-specific categories, but maybe my Coq-Club e-mail will change this.)