Interface: SourceToolsOptions

Defined in: extensions/sources/tools.ts:120

Options of createSaveToSourcesServer().

Properties

Property	Type	Description	Defined in
interactive?	boolean	A person can be asked (not autonomous): adds request_file and retire_source, which ask first.	extensions/sources/tools.ts:124
maxBytes?	number	The most download_to_sources and request_file copy in; 50 MB by default.	extensions/sources/tools.ts:126
projectDir?	string	The project root: paths in the tools' answers are relative to it. Defaults to the parent of sourcesDir.	extensions/sources/tools.ts:122