mirror of https://github.com/coder/code-server.git
parent
6207a3109a
commit
b4e1d8db5d
|
@ -557,8 +557,8 @@ echoerr() {
|
||||||
echoh "$@" >&2
|
echoh "$@" >&2
|
||||||
}
|
}
|
||||||
|
|
||||||
# humanpath replaces all occurances of " $HOME" with " ~"
|
# humanpath replaces all occurrences of " $HOME" with " ~"
|
||||||
# and all occurances of '"$HOME' with the literal '"$HOME'.
|
# and all occurrences of '"$HOME' with the literal '"$HOME'.
|
||||||
humanpath() {
|
humanpath() {
|
||||||
sed "s# $HOME# ~#g; s#\"$HOME#\"\$HOME#g"
|
sed "s# $HOME# ~#g; s#\"$HOME#\"\$HOME#g"
|
||||||
}
|
}
|
||||||
|
|
Loading…
Reference in New Issue