mirror of
https://github.com/cmderdev/cmder.git
synced 2024-11-10 09:49:12 +08:00
100 lines
3.0 KiB
Bash
100 lines
3.0 KiB
Bash
# DO NOT EDIT THIS FILE IT WILL BE OVERWRITTEN ON UPDATE
|
|
#
|
|
# Add portable user customizations ${CMDER_ROOT}/config/user_profile.sh,
|
|
# these customizations will follow Cmder if $CMDER_ROOT is copied
|
|
# to another machine.
|
|
#
|
|
# Add system specific users customizations to $HOME/.bashrc, these
|
|
# customizations will not follow Cmder to another machine.
|
|
|
|
function runProfiled {
|
|
unset profile_d_scripts
|
|
pushd "${1}" >/dev/null
|
|
profile_d_scripts=$(ls *.sh 2>/dev/null)
|
|
|
|
if [ ! "x${profile_d_scripts}" = "x" ] ; then
|
|
for x in ${profile_d_scripts} ; do
|
|
# echo Sourcing "${1}/${x}"...
|
|
. "${1}/${x}"
|
|
done
|
|
fi
|
|
popd >/dev/null
|
|
}
|
|
|
|
# We do this for bash as admin sessions since $CMDER_ROOT is not being set
|
|
if [ "$CMDER_ROOT" == "" ] ; then
|
|
case "$ConEmuDir" in *\\*) CMDER_ROOT=$( cd "$(cygpath -u "$ConEmuDir")/../.." ; pwd );; esac
|
|
else
|
|
case "$CMDER_ROOT" in *\\*) CMDER_ROOT="$(cygpath -u "$CMDER_ROOT")";; esac
|
|
fi
|
|
|
|
# Remove any trailing '/'
|
|
CMDER_ROOT=$(echo $CMDER_ROOT | sed 's:/*$::')
|
|
|
|
export CMDER_ROOT
|
|
|
|
if [ -f "/c/Program Files/Git/cmd/git.exe" ] ; then
|
|
GIT_INSTALL_ROOT="/c/Program Files/Git"
|
|
elif [ -f "/c/Program Files(x86)/Git/cmd/git.exe" ] ; then
|
|
GIT_INSTALL_ROOT="/c/Program Files(x86)/Git"
|
|
elif [ -f "${CMDER_ROOT}/vendor/git-for-windows/cmd/git.exe" ] ; then
|
|
GIT_INSTALL_ROOT=${CMDER_ROOT}/vendor/git-for-windows
|
|
fi
|
|
|
|
if [[ ! "$PATH" =~ "${GIT_INSTALL_ROOT}/bin:" ]] ; then
|
|
PATH="${GIT_INSTALL_ROOT}/bin:$PATH"
|
|
fi
|
|
|
|
PATH="${CMDER_ROOT}/bin:${CMDER_ROOT}/vendor/bin:$PATH:${CMDER_ROOT}"
|
|
|
|
export PATH
|
|
|
|
# Drop *.sh or *.zsh files into "${CMDER_ROOT}\config\profile.d"
|
|
# to source them at startup.
|
|
if [ ! -d "${CMDER_ROOT}/config/profile.d" ] ; then
|
|
mkdir -p "${CMDER_ROOT}/config/profile.d"
|
|
fi
|
|
|
|
if [ -d "${CMDER_ROOT}/config/profile.d" ] ; then
|
|
runProfiled "${CMDER_ROOT}/config/profile.d"
|
|
fi
|
|
|
|
if [ -d "${CMDER_USER_CONFIG}/profile.d" ] ; then
|
|
runProfiled "${CMDER_USER_CONFIG}/profile.d"
|
|
fi
|
|
|
|
|
|
# Renaming to "config\user_profile.sh" to "user_profile.sh" for consistency.
|
|
if [ -f "$CMDER_ROOT/config/user-profile.sh" ] ; then
|
|
mv "$CMDER_ROOT/config/user-profile.sh" "$CMDER_ROOT/config/user_profile.sh"
|
|
fi
|
|
|
|
CmderUserProfilePath="${CMDER_ROOT}/config/user_profile.sh"
|
|
if [ -f "${CMDER_ROOT}/config/user_profile.sh" ] ; then
|
|
. "${CMDER_ROOT}/config/user_profile.sh"
|
|
fi
|
|
|
|
if [ "${CMDER_USER_CONFIG}" != "" ] ; then
|
|
# Renaming to "config\user_profile.sh" to "user_profile.sh" for consistency.
|
|
if [ -f "$CMDER_USER_CONFIG/user-profile.sh" ] ; then
|
|
mv "$CMDER_USER_CONFIG/user-profile.sh" "$CMDER_USER_CONFIG/user_profile.sh"
|
|
fi
|
|
|
|
export PATH="${CMDER_USER_CONFIG}/bin:$PATH"
|
|
|
|
CmderUserProfilePath="${CMDER_USER_CONFIG}/user_profile.sh"
|
|
if [ -f "${CMDER_USER_CONFIG}/user_profile.sh" ] ; then
|
|
. "${CMDER_USER_CONFIG}/user_profile.sh"
|
|
fi
|
|
fi
|
|
|
|
if [ ! -f "${CmderUserProfilePath}" ] ; then
|
|
echo Creating user startup file: "${CmderUserProfilePath}"
|
|
cp "${CMDER_ROOT}/vendor/user_profile.sh.default" "${CmderUserProfilePath}"
|
|
fi
|
|
|
|
# Source the users .bashrc file if it exists
|
|
if [ -f "${HOME}/.bashrc" ] ; then
|
|
. "${HOME}/.bashrc"
|
|
fi
|