On 04/07/2020 04.39, Lawrence Velázquez wrote: > It might tell you something that $[...] is not even mentioned in > the man page for bash 3.2.57, which is decidedly not the current > version.
About that, is it for sure that $[] is going to be obsoleted/removed in the future? I happened to use it recently, and thought it was more readable than $(()) and caused less visual clutter. Any reason $(()) was preferred? Peter
