linux 中 从read读入的内容，怎么判断是否是数字呢？

#!/bin/bash read a if [[ $a =~ "^[0-9]*$" ]] then echo "Is num." else echo "Not num." fi