changeset 109:0bd594fb56f8

Read the tools.conf configuration file where appropriate
author Franz Glasner <fzglas.hg@dom66.de>
date Tue, 08 Oct 2019 09:35:30 +0200
parents ef1551e7cb16
children af4eeb94144a
files bin/check-ports bin/fpkg
diffstat 2 files changed, 9 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- 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
--- 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:=}