NAME
robsd-ports.conf
—
robsd-ports configuration
file
DESCRIPTION
robsd-ports.conf
is the configuration file
for robsd-ports(8). A string value type enclosed in
“double-quotes” may refer to other configuration variables on
the form ${variable}.
Additional variables are also available, see
robsd-config(8).
The following variables are recognized:
robsddir
“path”- Directory used to store invocations.
chroot
“path”- Directory used as the proot(1) chroot.
hook
{ “path” ... }- Command to invoke after each non-skipped step, see robsd-hook(5).
stat-interval
number- Interval expressed in seconds in which robsd-stat(8) collects statistics. Defaults to 10.
keep
number- Number of invocations to keep in
robsddir
, see robsd-clean(8). Defaults to keeping everything. keep-attic yes
|no
- Instruct robsd-clean(8) to move old invocations to a directory named
attic rooted in
robsddir
. Otherwise, old invocations are completely removed. Defaults toyes
. skip
{ “step” ... }- Steps to skip, see robsd-ports(8) for a list of all available steps.
cvs-root
“host”- Upstream cvs(1) repository used to update sources from.
cvs-user
“user”- User to perform cvs(1) and patch(1) operations on behalf of.
distrib-host
“hostname”- Host to upload packages to during the distrib step.
distrib-path
“path”- Directory on
distrib-host
to upload the packages to during the distrib step. Note, this directory will be wiped before uploading the new packages. distrib-signify
“path”- Path to signify(1) private key used to optionally sign the release files with.
distrib-user
“user”- User to perform scp(1) operations on behalf of.
ports
{ “path” ... }- Ports to build, path must be relative to
ports-dir
. ports-diff
“glob”- Path to sticky patches to always apply to
ports-dir
, expressed as a glob(7) pattern. It's silently ignored if glob does not yield any matches. ports-dir
“path”- Source directory for the ports tree, defaults to /usr/ports.
ports-user
“user”- The user owning
ports-dir
.
FILES
- /etc/robsd-ports.conf
- The default configuration file.
EXAMPLES
Example configuration:
robsddir "/home/robsd-ports" chroot "/home/proot" ports-user "anton" ports { "devel/knfmt" "mail/mdsort" }
SEE ALSO
AUTHORS
Anton Lindqvist <anton@basename.se>