Hi Jack, On Wednesday, March 15, 2017 at 1:26:32 PM UTC+1, Jack Armitage wrote: > > I am part of a project that currently uses a GitHub wiki as it's main > source of documentation (https://github.com/belaplatform/bela/wiki). >
Nice project! ... I had a short look at the code base. ... Your web based IDE is a node app. right? ... So you should have the whole TW build infrastructure in place already. ... TiddlyWiki can be automatically built with github web-hooks or life on the plattform if needed. There are 2 possibilities. a) Single file TW, that is self-contained and can be viewed with every browser. ... NO server side needed. Everything runs on the client. b) So called "static" site, that "compiles" your wiki into several *.html files, which can be easily served with a small express based node server. This solution would need a server-side, but has basically no CPU overhead, since the work is already done on "compile time". Since the resulting html files contain mainly text, they should be small. .. > Since it is based on Markdown, is it possible to automagically turn it > into a TiddlyWiki? > As Jeremy pointed out. Relatively straight forward, but some tweaking needed. Since There are only 39 wiki pages atm. Manually transferring the stuff should be about 1h work. Configuring and optimizing the workflow, will be definitely more work. > Further, would it be possible to upstream updates from the GitHub wiki? > Yes. Should be straight forward too. ... It depends a little bit if you need a) or b) from above. ... But it should be doable. have fun! mario PS: What does the community think about this change? -- You received this message because you are subscribed to the Google Groups "TiddlyWiki" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/tiddlywiki. To view this discussion on the web visit https://groups.google.com/d/msgid/tiddlywiki/85a8f7e1-ef64-4116-8bf6-fdbf220b3ce1%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
