dennisse
Re:Random Numbers in Bash
on Monday March 27, 2023 @01:13PM (#35329350)
Since no-one asked, I use something like this in zsh:
rand() {
local r4
IFS= read -rk4 -u0 r4 < /dev/urandom || return
local b1=$r4[1] b2=$r4[2] b3=$r4[3] b4=$r4[4]
print $(( #b1 << 24 | #b2 << 16 | #b3 << 8 | #b4 ))
}
It has the added bonus of only using zsh, no external dependencies, so it is quite fast.
Re:GNU bc ends 11-year beta test, releases 1.7
on Wednesday April 05, 2017 @02:48PM (#14044514)
Changelog: https://pastebin.com/J6gpwVBF
Re:I think DuckDuckGo would do better changing that Quack of a name
on Friday November 23, 2012 @03:01AM (#4821310)
does it really matter? nearly every browser allows you to add custom search engines, and change the default one. if you set duckduckgo as the default search engine, you don't ever have to type in duckduckgo - you can just use your address field.