diff bin/fpkg @ 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 f8642efe05a1
children 0838fdca3a2b
line wrap: on
line diff
--- 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:=}