3 ms·$RANDOM is new in bash 5.0? i'm curious. This has been documented for ages, afaik. headtiltby justizin 8y ago$RANDOM is new in bash 5.0? i'm curious. This has been documented for ages, afaik. headtiltgnulinux 8y agoNo $RANDOM has been there since 80s. BASH_ARGV0, EPOCHSECONDS, and EPOCHREALTIME are new._kst_ 8y agoNo, it's old; I've updated my comment accordingly.justizin 8y agoword wasn't hating, just ... curious. the others do seem new. :)