[Linux] bashでのインクリメントの記述

bashでインクリメントを行うにはどうすればいいかを調べていたところ、
二重括弧を使ったほうが速いとの記述があったので覚書。

#!/bin/bash COUNTER=0 while [ $COUNTER -lt 100 ] do   echo $COUNTER   # COUNTER=`expr $COUNTER + 1` # 汎用性が高い   COUNTER=$(( COUNTER + 1 ))    # 速いがOS依存 done

毎回インクリメントしたいときに調べて、という感じになってるので
いい加減に覚えてしまいたい。