Skip to content

Commit a1dc7bd

Browse files
committed
We want a configuration file
Accidentally removed configuration files while removing the rest of the profiles. Woopsie. Nobody saw that.
1 parent e33f36e commit a1dc7bd

File tree

3 files changed

+69
-8
lines changed

3 files changed

+69
-8
lines changed

conf/profiles/profile1.conf

-8
This file was deleted.

docs/repro.conf.5.txt

+51
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,51 @@
1+
repro.conf(5)
2+
=============
3+
4+
Name
5+
----
6+
repro.conf - repro configuration file
7+
8+
9+
Synopsis
10+
--------
11+
/etc/devtools-repro/repro.conf, $XDG_CONFIG_HOME/devtools-repro/repro.conf, ~/.repro.conf
12+
13+
14+
Description
15+
-----------
16+
Configuration options for repro are stored in repro.conf. This file is sourced
17+
by repro on launch. All the variables, regardless of being described below, are
18+
exported to the build environment.
19+
20+
The system-wide configuration file is found in /etc/devtools-repro/repro.conf.
21+
Induvidual options can be override on a per-user basis in
22+
$XDG_CONFIG_HOME/devtools-repro/repro.conf or ~/.repro.conf, with the former
23+
taking priority.
24+
25+
26+
Options
27+
-------
28+
**BOOTSTRAPMIRROR=**"https://mirror.archlinux.no/iso/latest"::
29+
Download location of the bootstrap image used for creating the container.
30+
31+
**BUILDDIRECTORY=**"/var/lib/repro"::
32+
Location where the containers should be stored.
33+
34+
**DIFFOSCOPE=**"diffoscope"::
35+
Sets the linkman:diffoscope[1] command to be ran when unreproducible packages are
36+
encountered.
37+
38+
**CONFIGDIR=**"/etc/devtools-repro/repro"::
39+
Location of the location of makepkg.conf and pacman.conf used for the
40+
container.
41+
42+
**HOSTMIRROR=**"http://mirror.neuf.no/archlinux/\$repo/os/\$arch"::
43+
The mirror used inside the container by pacman.
44+
45+
**IMGDIRECTORY=**"/tmp/arch_img"::
46+
Location where the Arch Linux bootstrap image should be downloaded to.
47+
48+
49+
See Also
50+
--------
51+
linkman:repro[8], linkman:makepkg.conf[5], linkman:pacman.conf[5]

repro.in

+18
Original file line numberDiff line numberDiff line change
@@ -310,6 +310,24 @@ makepkg_conf=$CONFIGDIR/makepkg.conf
310310
run_diffoscope=0
311311
command_args=()
312312

313+
repro_conf=${repro_conf:-$configdir/repro.conf}
314+
if [[ -r $repro_conf ]]; then
315+
# shellcheck source=/dev/null
316+
source "$repro_conf"
317+
fi
318+
319+
xdg_repro_dir="${xdg_config_home:-$home/.config}/repro"
320+
if [[ "$repro_conf" = "$configdir/repro.conf" ]]; then
321+
if [[ -r "$xdg_repro_dir/repro.conf" ]]; then
322+
# shellcheck source=/dev/null
323+
source "$xdg_repro_dir/repro.conf"
324+
elif [[ -r "$home/.repro.conf" ]]; then
325+
# shellcheck source=/dev/null
326+
source "$home/.repro.conf"
327+
fi
328+
fi
329+
330+
313331
while getopts :hdoC:P:M: arg; do
314332
case $arg in
315333
h) print_help; exit 0;;

0 commit comments

Comments
 (0)