|
|
|
@ -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"
|
|
|
|
|