playdot/tools.json

44 lines
1.9 KiB
JSON
Raw Normal View History

2017-11-23 03:04:38 +01:00
[
{
"Name": "dot",
"Cmd": "dot",
2017-11-23 04:28:32 +01:00
"Args": ["-Tsvg"],
2017-11-23 03:04:38 +01:00
"Suffix": ".dot",
"Description": "Graphviz, dot",
"BgColor": "CadetBlue",
"Documentation": {
"http://graphviz.org/content/dot-language": "DOT Language",
"http://graphviz.org/": "Get graphviz from here"
},
2017-11-23 23:02:50 +01:00
"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}"
2017-11-23 03:04:38 +01:00
},
{
"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"
},
2017-11-23 23:02:50 +01:00
"Example": ".PS\n\nbox \"foo\"; arrow ->; box \"bar\"\n\n.PE"
2018-11-25 13:55:47 +01:00
},
{
"Name": "povray",
"Cmd": "povray",
2018-11-26 07:44:06 +01:00
"Args": ["+O-", "-D", "+A0.9", "+R3"],
2018-11-25 13:55:47 +01:00
"Suffix": ".pov",
"NeedsFile": true,
"ContentType": "image/png",
2018-11-25 13:55:47 +01:00
"Description": "Povray, raytracer",
"BgColor": "Orange",
"Documentation": {
"http://povray.org/documentation/3.7.0/index.html": "POV-Ray for Unix"
},
"Example": "#include \"colors.inc\"\n#include \"woods.inc\"\n#include \"glass.inc\"\ncylinder {\n\t<-2,-2,0.5>, <-2,1,0.5>, 1\n\tpigment {color Red}\n}\nsphere {\n\t<0,1,1>, 1\n\tpigment {color Blue }\n}\nbox {\n\t<-3,-1,-1>, <1,-0.5, 2>\n\tpigment {\n\t\tCol_Glass_Winebottle\n\t}\n}\nbackground { color Gray60 }\nlight_source {<0, 5, -3> color White }\nlight_source {<-2, 2, 0.5> color Yellow }\ncamera {\n\tlocation <0, 2, -6>\n\tangle 50 right x\n\tlook_at\n\t<-1, 0, 0>\n}\n"
2017-11-23 03:04:38 +01:00
}
]