comparison 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
comparison
equal deleted inserted replaced
108:ef1551e7cb16 109:0bd594fb56f8
18 18
19 # 19 #
20 # Configuration directory 20 # Configuration directory
21 # 21 #
22 : ${CONFIGDIR:=@@ETCDIR@@} 22 : ${CONFIGDIR:=@@ETCDIR@@}
23
24 test -r "${CONFIGDIR}/tools.conf" && . "${CONFIGDIR}/tools.conf"
23 25
24 # 26 #
25 # Mapping configuration: installed package name -> original package name 27 # Mapping configuration: installed package name -> original package name
26 # Note: This is independent of any repo 28 # Note: This is independent of any repo
27 # 29 #