comparison sbin/check-ports @ 131:993fecdf2a70

Rename etc/tools.conf to etc/pkgtools.conf. Because it is a pkg-related configuration -- and there are other configuration files.
author Franz Glasner <fzglas.hg@dom66.de>
date Thu, 17 Oct 2019 09:24:07 +0200
parents 54de2955bfa9
children 8152028661c2
comparison
equal deleted inserted replaced
130:54de2955bfa9 131:993fecdf2a70
19 # 19 #
20 # Configuration directory 20 # Configuration directory
21 # 21 #
22 : ${CONFIGDIR:=@@ETCDIR@@} 22 : ${CONFIGDIR:=@@ETCDIR@@}
23 23
24 test -r "${CONFIGDIR}/tools.conf" && . "${CONFIGDIR}/tools.conf" 24 test -r "${CONFIGDIR}/pkgtools.conf" && . "${CONFIGDIR}/pkgtools.conf"
25 25
26 # 26 #
27 # Mapping configuration: installed package name -> original package name 27 # Mapping configuration: installed package name -> original package name
28 # Note: This is independent of any repo 28 # Note: This is independent of any repo
29 # 29 #