playdot/tools.json

30 lines
1.1 KiB
JSON

[
{
"Name": "dot",
"Cmd": "dot",
"Args": ["-Tsvg"],
"Suffix": ".dot",
"Description": "Graphviz, dot",
"BgColor": "CadetBlue",
"Documentation": {
"http://graphviz.org/content/dot-language": "DOT Language",
"http://graphviz.org/": "Get graphviz from here"
},
"Example": "digraph test123 {\n\ta -> b -> c;\n\ta -> {x y};\n\tb [shape=box];\n\tc [label=\"hello\\nworld\",color=blue,fontsize=13,\n\tfontname=\"Palatino-Italic\",fontcolor=red,style=filled];\n\ta -> z [label=\"hi\", weight=100];\n\tx -> z [label=\"multi-line\\nlabel\"];\n\tedge [style=dashed,color=red];\n\tb -> x;\n\t{rank=same; b x}\n}"
},
{
"Name": "dpic",
"Cmd": "dpic",
"Args": ["-z", "-v"],
"Suffix": ".pic",
"BgColor": "Green",
"Documentation": {
"/static/dpicdoc.pdf": "DPIC manual",
"/static/gpic.raymond.pdf": "GPIC (by E.Raymond)",
"https://ece.uwaterloo.ca/~aplevich/dpic": "Get DPIC from here"
},
"Example": ".PS\n\nbox \"foo\"; arrow ->; box \"bar\"\n\n.PE"
}
]