linux 中是否为integer 判断

menu3 ()
{
 if [[ "$enter" =~ ^[0-9]+$ ]]
 then
  clear
  echo "+)Add"
  echo "-)Subtract"
  echo "X)Exit"
  read -p "Please choose a item: " choice
 else
  exit
 fi
}