linux判断变量是否数字