News for hackers. Stuff that matters.

A comment on Bash 5.0 released. Parent comment

Re:Bash 5.0 released by justizin on Tuesday January 08, 2019 @12:44AM (#18853516)
$RANDOM is new in bash 5.0? i'm curious. This has been documented for ages, afaik. headtilt
[ Parent | on HN ]
Re:Bash 5.0 released by gnulinux on Tuesday January 08, 2019 @12:50AM (#18853539)
No $RANDOM has been there since 80s. BASH_ARGV0, EPOCHSECONDS, and EPOCHREALTIME are new.
[ Parent | on HN ]
Re:Bash 5.0 released by _kst_ on Tuesday January 08, 2019 @12:57AM (#18853575)
No, it's old; I've updated my comment accordingly.
[ Parent | on HN ]
Re:Bash 5.0 released by justizin on Tuesday January 08, 2019 @01:15AM (#18853673)
word wasn't hating, just ... curious. the others do seem new. :)
[ Parent | on HN ]