Remove and gitignore .info.pod
files
#14
Merged
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
I'm working on a little wiki importer and this tripped it up.
By the way, is it alright to include an imported copy of the wiki with my wiki frontend? It is MIT but I just want to make sure, it's not good to have duplicate information that will get outdated, but unfortunately as the json format is right now I don't think it's possible to make the conversion completely automated due to how generic the
label
component is, the example would ideally look more like:title
The title displayed in the middle of the window bar.
x
The position of the window on the screen on the x axis.
y
The position of the window on the screen on the y axis.
width
The width of the program surface.
height
The height of the program surface.
But the current format has no concept of subheadings, inline code, and soft line breaks seem to be baked in as hard ones, making it pretty much impossible.
I also don't mind moving it to this organization if you're interested (although the name would probably need to be changed to something else because
Picotron-Software-Developers.github.io
is a bit of a mouthful, I contacting github support to get thepicotron
name as it has never had any activity in a decade, but github stopped enforcing their inactive account policy except for trademark violations...),picotron64
/picotron-community
seem like good alternatives, I can also make a converter from markdown to this json format, but I assume that kind of ruins the point of interactive editing inside Picotron, and this runs into the same staleness issues as before...