diff bin/check-ports @ 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 cf9dde7a3a0d
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