2

From this post I learned that : can be used to get the side effects of a parameter expansion. I stumbled upon this code which uses a parameter expansion that looks new to me:

$ R=32; : $[R--]; echo $R
31

Here : $[R--] seems to be equivalent to ((R--)). What is $[]? And is it documented in man bash(1)? I couldn't find it on the man pages.

0 Answers0