diff sbin/fpkg @ 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 4aeff9d5275d
children 6be3742d21f7
line wrap: on
line diff
--- a/sbin/fpkg	Thu Oct 17 09:18:44 2019 +0200
+++ b/sbin/fpkg	Thu Oct 17 09:24:07 2019 +0200
@@ -79,7 +79,7 @@
 #
 : ${CONFIGDIR:=@@ETCDIR@@}
 
-test -r "${CONFIGDIR}/tools.conf" && . "${CONFIGDIR}/tools.conf"
+test -r "${CONFIGDIR}/pkgtools.conf" && . "${CONFIGDIR}/pkgtools.conf"
 
 : ${FPKG_AUDIT_FLAGS:=-Fr}
 : ${FPKG_UPDATE_FLAGS:=}