Remove any duplicate config options from config.user

This commit is contained in:
Kyle Rankin 2018-12-06 16:51:43 -08:00
parent 43a858e25c
commit 6ebabc5b94
No known key found for this signature in database
GPG Key ID: 555577116BFA74B9

View File

@ -229,8 +229,8 @@ replace_config() {
# then copy any remaining settings from the existing config file, minus the option you changed
grep -v "^export ${CONFIG_OPTION}=" ${CONFIG_FILE} | grep -v "^${CONFIG_OPTION}=" >> ${CONFIG_FILE}.tmp || true
mv ${CONFIG_FILE}.tmp ${CONFIG_FILE}
sort ${CONFIG_FILE}.tmp | uniq > ${CONFIG_FILE}
rm -f ${CONFIG_FILE}.tmp
}
combine_configs() {
cat /etc/config* > /tmp/config