What is most useful on GitHub?

81 views
Skip to first unread message

Jed Carty

unread,
Jan 18, 2017, 5:30:23 PM1/18/17
to TiddlyWiki
Is it useful to have tiddlywiki html files with plugins on GitHub? I have links to the demo sites so it may be redundant but I am not sure how other people feel about it.

I am moving a lot of my tiddlywiki things onto GitHub as OokTech since I am working as OokTech now. I am hoping to clean up the code and improve documentatino while I am doing it so this is going to be part of that.

PMario

unread,
Jan 18, 2017, 5:57:10 PM1/18/17
to TiddlyWiki
Hi Jed,

Github pages, deals nicely with tw.html files and custom domains.
Git itself only stores the diffs, if you have concerns about disk space :)

-m

Matthew Lauber

unread,
Jan 18, 2017, 9:57:02 PM1/18/17
to tiddl...@googlegroups.com
I also like to setup a plugin library on github.  You can look at https://github.com/mklauber/tw5-plugins to see how I'm making http://mklauber.github.io/tw5-plugins/.  The important part is https://github.com/mklauber/tw5-plugins/tree/master/plugins/mklauber  Each of my plugin repos are sub repositories of the plugin library repo.  https://github.com/mklauber/tw5-plugins/blob/master/publish.sh is a bash script that pulls in updates, builds a new .html file, commits it to the gh-pages page, and then pushes that.  So I can version control all my plugins separately, and distribute them in one place.  I haven't gone this far, but it would be possible to setup travis-ci to rebuild the plugin library whenever one of the plugins is updated.

Oh and the nice thing is that each of the plugins can still have their own github pages site for their individual documentation.

Matt Lauber
Reply all
Reply to author
Forward
Message has been deleted
0 new messages