using pwd since there is no need to use realpath

master
Tin LE GALL 9 years ago
parent 485f256e46
commit 88fae61f49
  1. 2
      themes/Minimal.bgptheme

@ -28,7 +28,7 @@ override_git_prompt_colors() {
function prompt_callback { function prompt_callback {
GIT_CONTAINER_FOLDER_FULLPATH=$(git rev-parse --show-toplevel 2> /dev/null) GIT_CONTAINER_FOLDER_FULLPATH=$(git rev-parse --show-toplevel 2> /dev/null)
GIT_CONTAINER_FOLDER=$(basename $GIT_CONTAINER_FOLDER_FULLPATH 2> /dev/null) GIT_CONTAINER_FOLDER=$(basename $GIT_CONTAINER_FOLDER_FULLPATH 2> /dev/null)
CURRENT_FULLPATH=$(realpath .) CURRENT_FULLPATH=$(pwd)
local PS1=$GIT_CONTAINER_FOLDER${CURRENT_FULLPATH#$GIT_CONTAINER_FOLDER_FULLPATH} local PS1=$GIT_CONTAINER_FOLDER${CURRENT_FULLPATH#$GIT_CONTAINER_FOLDER_FULLPATH}
gp_set_window_title "$PS1" gp_set_window_title "$PS1"
echo -n "${BoldYellow}${PS1}${ResetColor}" echo -n "${BoldYellow}${PS1}${ResetColor}"

Loading…
Cancel
Save