search

RAIRLab / Peirce-My-Heart

A graphical web application for interactive theorem proving in Charles Peirce's alpha existential graph system.
https://rairlab.github.io/Peirce-My-Heart/
MIT License
10 stars 0 forks source link

Change proof file naming convention to work on everything. #325

Closed James-Oswald closed 4 months ago

James-Oswald commented 9 months ago

While I like the Unicode names that work on windows, they do not work on discord, which erases them. Please fix this by coming up with an ASCII encoding scheme for proof file names on all platforms.

image
James-Oswald commented 4 months ago

Based on new research on discord file names,

1) Tests by @RyanR712 in the server 2) Discord support forum

It appears discord supports a very small subset of ASCII, just Aa-Zz and 0-9, and everything else turns into an underscore. We will no longer target discord, just various OSes. To upload proofs to discord we can use the suggestion on the support form, zipping the files with their original names.

Perhaps we could add support for zipping files somewhere in settings in PMH 2, but for now this is moot.