This service lets you execute arbitrary GF shell commands. Before you can do this, you need to use the /new
command to obtain a working directory (which also serves as a session identifier) on the server, see below.
/gfshell?dir=
...&command=i+Foods.pgf
/gfshell?dir=
...&command=gr
Pred (That Pizza) (Very Boring)
/gfshell?dir=
...&command=ps+-lextext+%22That+pizza+is+very+boring.%22
that pizza is very boring .
For documentation of GF shell commands, see:
/new
/tmp/gfse.123456
. Most of the cloud service commands require that a working directory is specified in the dir
parameter. The working directory is persistent, so clients are expected
to remember and reuse it. Access to previously uploaded files requires that the same working directory is used.
/parse?
path=
source
/cloud?dir=
...&command=upload&
path1=
source1&
path2=
source2&
...
/cloud?dir=
...&command=make&
path1=
source1&
path2=
source2&
...
{ "errorcode":"OK", // "OK" or "Error"
"command":"gf -s -make FoodsEng.gf FoodsSwe.gf FoodsChi.gf",
"output":"\n\n" // Warnings and errors from GF
}
/cloud?dir=
...&command=remake&
path1=
source1&
path2=
source2&
...
command=make
, except you can leave
the sourcei parts empty to reuse previously uploaded
files.
/cloud?dir=
...&command=download&file=
path
/cloud?dir=
...&command=ls&ext=.pgf
["Foods.pgf","Letter.pgf"]
.
/cloud?dir=
...&command=rm&file=
path
/cloud?dir=
...&command=link_directories&newdir=
...