diff options
author | SiemKorteweg <Siem.Korteweg@qnh.nl> | 2015-10-10 14:25:14 +0300 |
---|---|---|
committer | SiemKorteweg <Siem.Korteweg@qnh.nl> | 2015-10-10 14:25:14 +0300 |
commit | 0c48fc3880551d862063e56a029ce43082df376a (patch) | |
tree | d57f59a582b3d457fccd0dad6f32b3513ebf294f /include/profiles | |
parent | c0378f38f517e916b141a8bc5049eb742e66d48f (diff) |
Optimized use of cat, grep and awk.
Detection of duplicate entries in /etc/hosts is now more robust.
On CentOS7 the SERVICE_MANAGER is detected correctly.
Diffstat (limited to 'include/profiles')
-rw-r--r-- | include/profiles | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/include/profiles b/include/profiles index abdb33d9..60f9a707 100644 --- a/include/profiles +++ b/include/profiles @@ -20,7 +20,7 @@ # Display --indent 2 --text "- Checking profile file (${PROFILE})..." logtext "Reading profile/configuration ${PROFILE}" - FIND=`cat ${PROFILE} | grep '^config:' | sed 's/ /!space!/g'` + FIND=`grep '^config:' ${PROFILE} | sed 's/ /!space!/g'` for I in ${FIND}; do OPTION=`echo ${I} | cut -d ':' -f2` VALUE=`echo ${I} | cut -d ':' -f3 | sed 's/!space!/ /g'` |