14
edits
No edit summary |
(don't suggest to use --url anymore) |
||
| Line 30: | Line 30: | ||
] | ] | ||
The simplest usecase for tooltool is to provide a manifest and the url of a tooltool server (this url is not longer used,the last modified file is from 13-Oct-2015) , and run a "fetch" command to download the files mentioned in the manifest: | The simplest usecase for tooltool is to provide a manifest and the url of a tooltool server (this url is not longer used, the last modified file is from 13-Oct-2015) , and run a "fetch" command to download the files mentioned in the manifest: | ||
python tooltool.py fetch | python tooltool.py fetch -m my-manifest.tt | ||
If a manifest name is not provided, tooltool will default to manifest.tt. | If a manifest name is not provided, tooltool will default to manifest.tt. | ||
edits