If the docker config file that `manage_ctr_mgr.sh` modifies has old settings, we should preserve the old settings and append the new ones.
If the docker config file that
manage_ctr_mgr.shmodifies has old settings, we should preserve the old settings and append the new ones.