2022-05-09 14:52:23 +02:00
|
|
|
#!/bin/bash
|
2022-09-05 13:01:54 +02:00
|
|
|
if [ -z "${STY}" ]; then
|
|
|
|
|
xtitle_cmd="$(which xtitle)"
|
|
|
|
|
if [ -n "${xtitle_cmd}" ]; then
|
|
|
|
|
new_title="${USER}@$(hostname -s)"
|
|
|
|
|
echo "Setting title to ${new_title}"
|
|
|
|
|
"${xtitle_cmd}" -q "${USER}@$(hostname -s)"
|
|
|
|
|
fi
|
2022-05-09 14:52:23 +02:00
|
|
|
fi
|
