[det]pack_install(+Name,
+Options)Install package Name. Processes the options below. Default
options as would be used by pack_install/1
are used to complete the provided 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
(default false
), upgrade package if it
is already installed.
- git(+Boolean)
- If
true
(default false
unless 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.