Logipedia
Logipedia copied to clipboard
Deducteam
Pretty printer
Could the binary of the pretty printer be passed as an argument of logigen? For instance, one would use logigen -i json/ -o web --pp /usr/bin/ppt. By default, the json object could be printed (although it's not pretty).
Yep the pretty-printer could be an option, especially if we have 2+ choices, but I'd rather have a good default (otherwise the CLI might become tedious to use).
No, not at all (it might be a separate package, or it might live in the repository at the start, whichever you prefer) -- I just want to have a default executable name to call it. (logipedia-pp or similar?)
De: "Gabriel Hondet" [email protected] À: "Deducteam/Logipedia" [email protected] Cc: "Romain Primet" [email protected], "Comment" [email protected] Envoyé: Jeudi 17 Octobre 2019 13:35:58 Objet: Re: [Deducteam/Logipedia] Pretty printer (#14)
So you want the pretty printer to be in the repository?
— You are receiving this because you commented. Reply to this email directly, [ https://github.com/Deducteam/Logipedia/issues/14?email_source=notifications&email_token=ACO7RM2WUCM2VIBKHOJUBQTQPBEZ5A5CNFSM4JBUZNIKYY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOEBPY3EY#issuecomment-543133075 | view it on GitHub ] , or [ https://github.com/notifications/unsubscribe-auth/ACO7RM2ZZSNDZ422HWZXC5DQPBEZ5ANCNFSM4JBUZNIA | unsubscribe ] .
Come to think of it, being able to set the pretty-printer executable through an environment variable (e.g LOGIPEDIA_PP or similar) might also be a good choice (but then we need to define a priority order...)
Ah all right, that's a good idea. I think we should
- use an environment variable
- use the command line flag
so that if both are set, the command line flag is taken into account. Why not logipedia-pp or logipp, take the one you prefer. I have already some prototypes at logippedia.