Wiki Spring Cleaning

Do we have that plugin in the wiki?


EDIT: And yes, that html is impossibly terrible to look at, read, or even edit. I'd have to be the poor sod who has to maintain it.

Oh, wait, crap.... I am the poor sod maintaining it... blast....

---

Being from the third world, I reserve the right to speak in the third person.

Using Editor version wip 20170527 gfx_sdl+fb music_sdl

Write a quick local script which can convert a Plotscript into HTML formatting, then paste the output of the script into the Wiki. Then when you need to update any of the scripts, just do it locally and re-run the script to convert it into Wiki format.

Pygments is a great parsing library and is easily extendable to other languages. If your are not familiar with Python, this might be a great way to learn how to use it, and if you made a Plotscript Lexer, I'd love a copy too.

Actually, I've already done that, but using FreeBasic, not Python. That's how I formatted the one on that page, just fed a text file to the program and it outputted the html. Only thing is, going from html back to plain text can be a bit of a chore. Sure, I can prolly rework the program, but I think I'll see if the plugin might be a better idea.

---

Being from the third world, I reserve the right to speak in the third person.

Using Editor version wip 20170527 gfx_sdl+fb music_sdl