Find a file
2020-11-24 21:54:06 +00:00
devel Update python scripts 2020-07-24 13:29:35 +02:00
lib New script: pypi-release 2020-07-20 16:34:20 +02:00
misc Update python scripts 2020-07-24 13:29:35 +02:00
void fix minor errors in install and worldfile script 2020-11-24 21:54:06 +00:00
install.zsh fix minor errors in install and worldfile script 2020-11-24 21:54:06 +00:00
README.md Restructuring the repo 2020-04-02 10:38:36 +02:00

crater's script collection

Some scripts that I wrote over the years and wanted to store with versioning somewhere. Maybe some of them are useful for others, some are probably not.

Documentation may or may not follow, some scripts include a --help output.