1 |
On Tue, Jul 03, 2018 at 09:20:53PM +0200, Jonas Stein wrote: |
2 |
> > I don't care that we have a wiki, but can we please look into killing |
3 |
> > mediawiki and look at something with a git backend? |
4 |
> |
5 |
> I think the wiki is very useful and should remain. |
6 |
|
7 |
Like I said, there are wiki packages out there like gollum, ikiwiki, and |
8 |
probably others which would allow editing of content via text files and |
9 |
use vcs's for version control of the changes, so I'm not advocating for |
10 |
shutting down the wiki. I think we should have one that is more |
11 |
accessible to users who want to use different interfaces. We shouldn't |
12 |
be forcing users to use a full web browser just to contribute to the |
13 |
wiki. |
14 |
|
15 |
> > It would be very nice to be able to edit wiki pages in markdown or another similar format |
16 |
> > and use git to control the changes instead of editing in a browser. |
17 |
> |
18 |
> I think it is more efficient to convert your yearly contributions to the |
19 |
> wiki [1] manually from markdown to mediawiki, instead to convert the |
20 |
> existent wiki pages to anything plus setup a new engine and configure |
21 |
> user accounts. |
22 |
|
23 |
If that is converted from markdown, all you would have to do is use the |
24 |
markdown directly if the new wiki supports it. |
25 |
|
26 |
> |
27 |
> Btw: Would a conversion to another wiki mean that we get another long |
28 |
> footer on every wikipage "This page was edited by... do not remove..."? |
29 |
|
30 |
I have no idea about that, but that alone shouldn't stop this from |
31 |
happening. |
32 |
|
33 |
> For the special case of the Gentoo Manual: |
34 |
> I think the Gentoo Manual is better maintained in a git repository, |
35 |
> because it was initially written like a book and sometimes it is better |
36 |
> to make PRs for the manual. |
37 |
|
38 |
I don't really see the manual as a special case. We should use the same |
39 |
interface for everything. |
40 |
|
41 |
William |