2026-06-11 18:28:03 +02:00
|
|
|
#!/bin/sh
|
|
|
|
|
|
|
|
|
|
# Show system info each time a shell is started
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
_hostname=$(uname -n)
|
|
|
|
|
_os="$(uname -s) $(uname -r)"
|
|
|
|
|
_user=$(whoami)
|
|
|
|
|
_work_dir=$(echo "$PWD" | sed "s|^$HOME|~|")
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
if [ "$(id -u)" -eq 0 ]; then
|
|
|
|
|
_prompt="#"
|
|
|
|
|
else
|
|
|
|
|
_prompt="$"
|
|
|
|
|
fi
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
if [ -n "$SSH_CLIENT" ] || [ -n "$SSH_TTY" ]; then
|
|
|
|
|
_remote=" ssh"
|
|
|
|
|
else
|
|
|
|
|
_remote=" local"
|
|
|
|
|
fi
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
if _in_bash; then
|
|
|
|
|
_shell_type="bash"
|
|
|
|
|
elif _in_zsh; then
|
|
|
|
|
_shell_type="zsh"
|
|
|
|
|
else
|
|
|
|
|
_shell_type="non-bash/zsh shell"
|
|
|
|
|
fi
|
|
|
|
|
|
|
|
|
|
|
2026-08-13 22:17:05 +02:00
|
|
|
_info_line="$_user@$_hostname:$_work_dir$_prompt$_remote $_os $_shell_type"
|
2026-06-11 18:28:03 +02:00
|
|
|
_sep_line=$(echo "$_info_line" | sed 's/./─/g')
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
echo ""
|
|
|
|
|
echo "$_sep_line"
|
|
|
|
|
echo "$_info_line"
|
|
|
|
|
echo "$_sep_line"
|
|
|
|
|
echo ""
|
|
|
|
|
|
|
|
|
|
|
2026-08-13 22:17:05 +02:00
|
|
|
unset _hostname _os _user _work_dir _prompt _remote _shell_type _info_line _sep_line
|