REPRO.CONF(5) | REPRO.CONF(5) |
NAME
repro.conf - repro configuration file
SYNOPSIS
/etc/archlinux-repro/repro.conf, $XDG_CONFIG_HOME/archlinux-repro/repro.conf, ~/.repro.conf
DESCRIPTION
Configuration options for repro are stored in repro.conf. This file is sourced by repro on launch. All the variables, regardless of being described below, are exported to the build environment.
The system-wide configuration file is found in /etc/archlinux-repro/repro.conf. Induvidual options can be override on a per-user basis in $XDG_CONFIG_HOME/devtools-repro/repro.conf or ~/.repro.conf, with the former taking priority.
OPTIONS
BOOTSTRAPMIRROR="https://mirror.archlinux.no/iso/latest"
BUILDDIRECTORY="/var/lib/repro"
DIFFOSCOPE="diffoscope"
HOSTMIRROR="http://mirror.neuf.no/archlinux/\$repo/os/\$arch"
IMGDIRECTORY="/tmp/arch_img"
MAKEFLAGS="-j$(nproc)"
ARCH_ARCHIVE_CACHE="https://archive.archlinux.org/packages"
NOCHECK=0
CACHEDIR=cache
OUTDIR=./build
SEE ALSO
06/17/2024 |