ROBSD-PORTS.CONF(5)

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 to yes.

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.

dpb { “argument” ... }
    Optional argument passed to dpb(1) as is.

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
robsd-config(8), robsd-ports(8)

AUTHORS
Anton Lindqvist <anton@basename.se>