If file exists in bash to fix path with sed

bash_if_file_exists_sed_path

1. The problem is with a file created by someone
2. (docker or nimbix internal configuration or ...)
3. in profile.d that sets PATH without appending to it
4. removing the previous content of PATH that can be set
5. by /etc/environment (a global system wide way of setting
6. environment variables such as PATH) the fix tests if the
7. bug file exists in a bash script to then replace its
8. content with a sed replacing substring "PATH=" by "PATH+=\:".
9. The result is:
if [ -f "/etc/profile.d/00-container-environment.sh" ]; then
    sudo sed -i 's/PATH=/PATH+=\\:/' /etc/profile.d/00-container-environment.sh
fi