diff options
Diffstat (limited to 'examples/tools/clone.toml')
| -rw-r--r-- | examples/tools/clone.toml | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/examples/tools/clone.toml b/examples/tools/clone.toml new file mode 100644 index 0000000..0862165 --- /dev/null +++ b/examples/tools/clone.toml @@ -0,0 +1,15 @@ +description = "Clone a public git repository into the user's project tree. The folder comes from the host: github.com -> GITHUB, gitlab.com -> GITLAB, forge.slackware.nl -> FORGE, plus hosts remembered from earlier clones. Call it with url and nothing else; when the host is known and the repo is not there yet it clones straight away. If it answers that the host has no folder, or that the repo is already cloned, it did nothing: ask the user exactly as that answer says, then call again with the to or update it names. Never clone a repo under a different name when it is already there; offer to update it." +command = ["clone.sh", "{url}", "{to}", "{update}"] +timeout = 300 + +[params.url] +type = "string" +description = "Repository URL, e.g. https://github.com/owner/repo.git" + +[params.to] +type = "string" +description = "Only when the user approved a new host folder: the folder name (e.g. CODEBERG). Empty otherwise." + +[params.update] +type = "string" +description = "1 to pull an already-cloned repository. Empty otherwise." |