reede, 12. veebruar 2016 9:53.23 UTC kirjutas Dima Pasechnik: > > Hi William, > I have already volunteered; Thierry set me up accounts on trac and wiki > hosts, but I (still) lack sudo rights. > Perhaps for moving the thing it's not needed, I didn't check. > (Thierry replies to my emails very sparingly, like once a week?) > > Moving wiki as it is to a VM does not look like a good idea, as it's > running on a very old Ubuntu, > and it'd need testing to see if its setup can be moved to an up-to date > Ubuntu (or whatever). > Perhaps it's indeed better to move the wiki to github (there were > discussions about better/best wikis > here, I didn't pay much attention to them). > > I do have 2-step auth enabled for my google account. >
I do not know about the trac part, because the trac might be fancier than the https://www.fossil-scm.org/ bugtracking feature set, but if the amount of Sage developers is less than 100 and the amount of edits is as low as it seems to me, then the Fossil might very well run the Wiki. The main issue with Fossil Wiki is the difficulty of displaying images and WebM movies, but for textual parts it's probably fine. Fossil stores everything, Wiki history, bug-track history, code commits and their history to a single file. Fossil itself is a single binary that gets that file as an input and can run as a CGI-program, a stand-alone web server, also as something wrapped to PHP shell execs. If that sounds appealing to You, then You might want to try the Fossil out at http://chiselapp.com/repositories/ Fossil history: https://www.youtube.com/watch?v=jPSOxVjK8A0 https://www.youtube.com/watch?v=O0sP9Qw23JA Thank You for reading my comment. :-) -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
