# HG changeset patch
# User Franz Glasner <fzglas.hg@dom66.de>
# Date 1570520130 -7200
# Node ID 0bd594fb56f8520014a259035cd88b445bc30114
# Parent  ef1551e7cb16222b95c9017e7156c5b7aa915b6c
Read the tools.conf configuration file where appropriate

diff -r ef1551e7cb16 -r 0bd594fb56f8 bin/check-ports
--- a/bin/check-ports	Mon Oct 07 09:37:50 2019 +0200
+++ b/bin/check-ports	Tue Oct 08 09:35:30 2019 +0200
@@ -21,6 +21,8 @@
 #
 : ${CONFIGDIR:=@@ETCDIR@@}
 
+test -r "${CONFIGDIR}/tools.conf" && . "${CONFIGDIR}/tools.conf"
+
 #
 # Mapping configuration: installed package name -> original package name
 # Note: This is independent of any repo
diff -r ef1551e7cb16 -r 0bd594fb56f8 bin/fpkg
--- a/bin/fpkg	Mon Oct 07 09:37:50 2019 +0200
+++ b/bin/fpkg	Tue Oct 08 09:35:30 2019 +0200
@@ -68,6 +68,13 @@
   All other environment variables that affect `pkg` are effective also.
 '
 
+#
+# Configuration directory
+#
+: ${CONFIGDIR:=@@ETCDIR@@}
+
+test -r "${CONFIGDIR}/tools.conf" && . "${CONFIGDIR}/tools.conf"
+
 : ${FPKG_AUDIT_FLAGS:=-Fr}
 : ${FPKG_UPDATE_FLAGS:=}
 : ${FPKG_UPGRADE_FLAGS:=}