diff options
| author | Danilo M. <danix@danix.xyz> | 2026-10-19 20:42:12 +0200 |
|---|---|---|
| committer | Danilo M. <danix@danix.xyz> | 2026-10-19 20:42:12 +0200 |
| commit | f6a2524658e113561a102f86997f9e236f22e9d8 (patch) | |
| tree | 4215899feca591308070480c46daa319a1c42726 /examples/tools/clone.toml | |
| parent | 2d58a44858417510f31ab31bc6f6c54abdbc5503 (diff) | |
| download | desktop-assistant-f6a2524658e113561a102f86997f9e236f22e9d8.tar.gz desktop-assistant-f6a2524658e113561a102f86997f9e236f22e9d8.zip | |
clone tool: name the target owner-repo
A generic repo such as evgen2571/wallpapers cloned into wallpapers; the target now takes the owner's name, collapsing when owner and repo match and falling back to the bare name when the URL has none.
Diffstat (limited to 'examples/tools/clone.toml')
| -rw-r--r-- | examples/tools/clone.toml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/examples/tools/clone.toml b/examples/tools/clone.toml index 0862165..4e479fd 100644 --- a/examples/tools/clone.toml +++ b/examples/tools/clone.toml @@ -1,4 +1,4 @@ -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." +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. The repository lands in its owner's name, e.g. https://github.com/evgen2571/wallpapers goes to GITHUB/evgen2571-wallpapers (just the repo name when the URL has no owner or owner and repo are the same). 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 |
