引数が整数でない場合に真を返すプログラムを知りたい

Question

前提・実現したいこと

ガード節を使うため下記の、上のコードを下のコードのように書き換えたい

該当のソースコード

if expr "$1" : "[0-9]*" > /dev/null; then  #引数が整数の場合は真
  何らかの処理
else
  echo 引数に整数を入力してください
fi

↑これを下記のようなプログラム↓に直したい

if 引数が整数でない場合に真を返すプログラム; then
  echo 引数に整数を入力してください
  exit
fi
何らかの処理

試したこと

Rubyなどのunlessのようなものがないか探した

補足情報（FW/ツールのバージョンなど）

cloud9を使っています

Answer 1

質問へのストレートな回答は maisumakunさんの回答の通りですが、

if expr "$1" : ".*[^0-9]"

のように「数字以外があれば」とするのも手です。

また、Bashであれば正規表現が組み込みなので、外部コマンドを使わずとも、

if [[ "$1" =~ [^0-9] ]]            #数字以外があれば
if [[ ! "$1" =~ ^[0-9]+$ ]]        #数字だけならの否定

などと書く事もできます。

Comments

[dentiste]

ご丁寧にありがとうございます！
自分でも考えてみましたが、otnさんの
`if [[ "$1" =~ [^0-9] ]] #数字以外があれば`
が一番シンプルで良いと感じました！

Answer 2

単に!でいいのではないでしょうか。

if ! expr "$1" : "[0-9]*" > /dev/null; then
  echo 引数に整数を入力してください
  exit
fi

（ただし、もとの条件自体が適当でないようにも思われます）

Comments

[dentiste]

できました！ありがとうございます。
ちなみにもとの条件自体が適当でないとは`expr "$1" : "[0-9]*" > /dev/null`この部分だと思うのですが、具体的にどこが適当でないでしょうか。

[maisumakun]

前方一致になるので、「123.45」や「3密」のような値を入れると正しく判定されません。

[dentiste]

ほんとですね。。
頑張って直してみます。ありがとうございました！