mirror of
https://github.com/cmderdev/cmder.git
synced 2024-09-20 12:54:20 +08:00
49da3745bc
## Rename user-profile.* user_profile.* to resolve #1806, #1675 * This is a backward compatible fix and will automatically and silently rename users '%cmder_root%/config/user-profile.\*' to '%cmder_root%/config/user_profile.\*' and '[user_specified_config_root]/user-profile.\*' to '[user_specified_config_root]/user_profile.\*' if the sources exist. * Cmder.exe does this for cmd.exe sessions. * The init scripts for bash and Powershell handles it for these shells
103 lines
3.1 KiB
Bash
103 lines
3.1 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 [ -d "/c/Program Files/Git" ] ; then
|
|
GIT_INSTALL_ROOT="/c/Program Files/Git"
|
|
elif [ -d "/c/Program Files(x86)/Git" ] ; then
|
|
GIT_INSTALL_ROOT="/c/Program Files(x86)/Git"
|
|
elif [ -d "${CMDER_ROOT}/vendor/git-for-windows" ] ; 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:$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
|
|
|
|
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}"
|
|
cat <<-eof >"${CmderUserProfilePath}"
|
|
# use this file to run your own startup commands for msys2 bash'
|
|
|
|
# To add a new vendor to the path, do something like:
|
|
# export PATH=\${CMDER_ROOT}/vendor/whatever:\${PATH}
|
|
eof
|
|
fi
|
|
|
|
# Source the users .bashrc file if it exists
|
|
if [ -f "${HOME}/.bashrc" ] ; then
|
|
. "${HOME}/.bashrc"
|
|
fi
|