Měření času tímto způsobem je vynikající nápad. Děkuji za tip! Určitě ho použiji.
Jen ten soubor bych uložil/a do /tmp (které mám na ramdisku) a do jeho názvu bych zakomponoval/a PID ($$), aby se to nepletlo v případě, kdy jsou spuštěné příkazy ve více instancích bashe. Také je potřeba vyřešit mazání pro případ, kdy je přihlášených víc uživatelů a jeden bash zavře a druhý otevře nový bash, který náhodou dostane stejné PID, ale to už nějak vymyslím...
ANSI sekvence jsou samozřejmě také použitelné, ale hůř se čtou a pamatují. „tput bold“ si snadno zapamatuje kdokoliv, kdo zná alespoň náznak angličtiny, zatímco „\e[1m“ se většině lidí pamatuje mnohem hůř.
A když už ty ANSI sekvence v proměnné jsou, dají se čitelně vypsat takto:
sed -E $'s/\e/\\e/g' <<< "$PS1"