Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Rename files with problematic names #53

Merged
merged 4 commits into from
Dec 13, 2023
Merged

Conversation

0xeb
Copy link
Collaborator

@0xeb 0xeb commented Dec 13, 2023

  • removed emojis from file names
  • other files rename

Note: the TOC has been generated automatically. Now even if the GitHub workflow triggers, it should find no need to change the TOC.md again after submit.

@0xeb
Copy link
Collaborator Author

0xeb commented Dec 13, 2023

Also, heads up:

After this is merged. I will haveidxtool rename all the files from:

'GPT file name.md'

to:

'gptid-GPT file name.md'

This will basically do two things:

All files on disk have consistent naming convention
Anyone can now quickly check on disk if a GPT exists or not, but simply doing: `find ./ | grep [GPTID]'

@LouisShark LouisShark merged commit 000afbd into LouisShark:main Dec 13, 2023
@0xeb 0xeb deleted the rename branch December 19, 2023 19:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants