dblume
bash PROMPT_COMMAND to set (restore) terminal title
dblume commited 6668404 at 2024-04-27 13:45:21