Fix SSH hostname on Linux

This commit is contained in:
Loic Nageleisen 2024-02-12 18:57:57 +01:00
parent f0fdf1d4f0
commit a241377632
Signed by: lloeki
GPG key ID: D05DAEE6889F94C2
2 changed files with 20 additions and 2 deletions

View file

@ -57,8 +57,17 @@ set_prompt() {
local buffer=""
local hostname=""
if [[ -n $HOST ]]; then
hostname="${HOST%.local}"
elif [[ -n $HOSTNAME ]]; then
hostname="${HOSTNAME}"
else
hostname="$(hostname -s)"
fi
if [[ -n $SSH_CLIENT ]]; then
buffer="${buffer}${HOST%.local} "
buffer="${buffer}${hostname} "
fi
if [[ -n $STY ]]; then