From d095d6afd6c843f8fbf45d049d326738e9b0fe9f Mon Sep 17 00:00:00 2001 From: orionlee Date: Sat, 20 Aug 2016 15:56:49 -0700 Subject: [PATCH] Fix bash login when ${CMDER_ROOT} has spaces. E.g., if ${CMDER_ROOT} is /c/Users/Foo Bar/cmder, the following errors will occur: bash: pushd: /c/Users/Foo: No such file or directory bash: [: /c/Users/Foo: binary operator expected bash: /c/Users/Foo: No such file or directory --- vendor/cmder.sh | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/vendor/cmder.sh b/vendor/cmder.sh index 4fac0be..c83ce1e 100644 --- a/vendor/cmder.sh +++ b/vendor/cmder.sh @@ -43,7 +43,7 @@ fi if [ -d "${CMDER_ROOT}/config/profile.d" ] ; then unset profile_d_scripts - pushd ${CMDER_ROOT}/config/profile.d >/dev/null + pushd "${CMDER_ROOT}/config/profile.d" >/dev/null profile_d_scripts=$(ls ${CMDER_ROOT}/config/profile.d/*.sh 2>/dev/null) if [ ! "x${profile_d_scripts}" = "x" ] ; then @@ -55,8 +55,8 @@ if [ -d "${CMDER_ROOT}/config/profile.d" ] ; then popd >/dev/null fi -if [ -f ${CMDER_ROOT}/config/user-profile.sh ] ; then - . ${CMDER_ROOT}/config/user-profile.sh +if [ -f "${CMDER_ROOT}/config/user-profile.sh" ] ; then + . "${CMDER_ROOT}/config/user-profile.sh" else echo Creating user startup file: "${CMDER_ROOT}/config/user-profile.sh" cat <<-eof >"${CMDER_ROOT}/config/user-profile.sh"