Add tool to convert between graph formats
Notgnoshi opened this issue · comments
This tool can also be used to strip off common prefixes (similar to airline's tabline formatter)
Go from any format to any format:
- dot
- plaintext tree
- TGF
Perhaps consider only supporting a single format in the includegraph.py tool (one that supports metadata we can use for styling, so TGF?)