[det]pack_install(+Name,
+Options)- url(+URL)
- Source for downloading the package
- package_directory(+Dir)
- Directory into which to install the package
- interactive(+Boolean)
- Use default answer without asking the user if there is a default action.
- silent(+Boolean)
- If
true(default false), suppress informational progress messages. - upgrade(+Boolean)
- If
true(defaultfalse), upgrade package if it is already installed. - git(+Boolean)
- If
true(defaultfalseunless URL ends with =.git=), assume the URL is a GIT repository.
Non-interactive installation can be established using the option
interactive(false). It is adviced to install from a
particular
trusted URL instead of the plain pack name for unattented
operation.