Code Editor : shell-lib-extensions.sh