diff --git a/bash/bash-profile b/bash/bash-profile index 9586de1..64da874 100644 --- a/bash/bash-profile +++ b/bash/bash-profile @@ -66,4 +66,5 @@ pathpromptpl="${resetpl}\[\033[38;${colora}\]" PROMPT_COMMAND='_dir=`pwd | sed "s|^$_home|~|g"`;if [ ${#_dir} -ge 35 ]; then _mydir=`pwd | cut -c1-16`; _mydir=${_mydir}.../`pwd | rev | cut -d/ -f1 | rev`; else _mydir=`pwd`; fi; _mydir=`echo $_mydir | sed "s|^$_home|~|g"`; PS1="\[\e]0;\u@\h: \w\a\]${debian_chroot:+($debian_chroot)}${hostbg}${promptfg}\h${hostuserpl}${promptfg}\u${userpathpl}${pathfg}${_mydir}${resetpl}${pathpromptpl}${resetpl} "' # https://stackoverflow.com/a/19152051 (for pipes in sed ^^) +# Useful for WSL to open windows file explorer in the current directory (e.g. explorer .) alias explorer="explorer.exe"