Aliases for crawler
pavelzw opened this issue · 0 comments
pavelzw commented
It would be nice to be able to type pferd -C foo or pferd -C bar when there exists a crawler that has the aliases ["foo", "bar"], but a different name.
Like that, one would be able to type pferd -C dg or pferd -C diffgeo or pferd -C differentialgeometry without needing to worry about what you named the crawler.