diff options
| -rw-r--r-- | .bash_prompt | 18 |
1 files changed, 1 insertions, 17 deletions
diff --git a/.bash_prompt b/.bash_prompt index 97297d4..e3c9a87 100644 --- a/.bash_prompt +++ b/.bash_prompt @@ -33,23 +33,7 @@ __set-title () title+="@${HOSTNAME}" fi title+=: - - local path=${PWD/~/\~} - local git_root=$(git rev-parse --show-toplevel 2> /dev/null) - - if [ -z "${git_root}" -o "${git_root}" = ~ ] - then - title+=${path} - else - local project=$(basename "${git_root}") - path=$(realpath --relative-to "${git_root}" "${PWD}") - if [ "${path}" = . ] - then - title+=${project} - else - title+=${project}/${path} - fi - fi + title+=${PWD/~/\~} # Cf. console_codes(4): # |