enhancementhelp wanted
Repository-Metriken
- Stars
- (616 Sterne)
- PR-Merge-Metriken
- (Keine gemergten PRs in 30 T)
Beschreibung
The documentation -- which is great btw -- doesn't seem to address how to import a large number of files into a Supertag collection, and I couldn't find any script of program in the repo tree that would help.
Do you have any best practices to share ? Could we imagine a helper tool for this ? I guess what I'm thinking of, is a program (or a subcommand) that would take as arguments:
- a name of a Supertag collection, or a mount point;
- a
<path>to the directory to import - a tag name that would be affected to all imported files (e.g.
inbox) - an optional number of path components to strip (e.g.
--strip-components=2)
and that would
- find all files from
<path>(possibly ignoring.gitdirs using the ignore crate) - treat all path components as tags (excluding the leading components if necessary)
- add the files to the Supertag collection, tagging them with the tags corresponding to the path components, plus the tag given as a parameter (e.g.
inbox).
What do you think ?