cshで引数がYYYYMMDDHHMISSの形式か判定したい

Question

前提・実現したいこと

csh実行時に引数を受け取り、それが日時の形式(YYYYMMDDHHMISS)かどうか判定するコードを書いています。

該当のソースコード

まず、はじめに以下のようにコードを記載しましたが、引数にAAAABBCCDDEEFFといった数字以外の文字を引数に指定するとif文でエラーとなってしまいます。

echo $1 | grep `[1-9][0-9][0-9][0-9][0-1][0-9][0-3][0-9][0-2][0-9][0-5][0-9][0-9]` >& /dev/null
if($status != 0) then
    echo "引数が日時ではない"
endif

何が原因か、どなたかこ教示をお願いいたします。

Comments

[hoshi-takanori]

`[0-9]`（バッククオート）ではなく、'[0-9]'（シングルクオート）を使いましょう。あと、一桁足りてない気が…。

[Y.H.]

> if文でエラーとなってしまいます
エラーは省略せずそのまま質問に記載しましょう。

[otn]

放置？

Answer 1

csh思い出せないのでサンプルはbashで書きます。すいません。
入力をsedで日付風文字列に変換し、dateコマンドが解釈できるかどうかで判断してみてはいかがでしょうか。

$ cat hoge.sh
#/bin/bash
for text in  $(
cat <<EOD
20300405060708
20309405060708
20300495060708
20300405960708
20300405069708
20300405060798
20300101000000
20301231235959
20200229235959
20210229235959
EOD
)
do
  datestring=$(echo $text | sed -e 's/(....)(..)(..)(..)(..)(...*)/\1-\2-\3 \4:\5:\6/')
  date --date="$datestring" >/dev/null 2>&1 ; rc=$? 
  echo $text : rc = $rc
done

うるう年判定もちゃんとやってくれます。dateコマンドはうるう秒(60秒)も扱えるようですが、解析までちゃんとできるかどうかは未確認です。

$ sh hoge.sh
20300405060708 : rc = 0
20309405060708 : rc = 1
20300495060708 : rc = 1
20300405960708 : rc = 1
20300405069708 : rc = 1
20300405060798 : rc = 1
20300101000000 : rc = 0
20301231235959 : rc = 0
20200229235959 : rc = 0
20210229235959 : rc = 1

Answer 2

ゴリ押しですが下記で日時の判定+日時に文字が入ってないことを確認するスクリプトです

endifが2個入っているのはelseに入った場合抜ける時にendif not foundが出力されるからです(自分だけなのかは不明)

下記はCentOS7,cshで確認しています

#!/bin/csh
set line = `echo $1 | egrep -o '[0-9]+' | wc -l`
set text = `echo $1 | egrep -o '[0-9]' | tr -d '\n'`
set len = `expr length $text`
set yyyy = `echo $1 | head -c 4`
set MM = `echo $1 | head -c 6 | tail -c 2`
set DD = `echo $1 | head -c 8 | tail -c 2`
set hh = `echo $1 | head -c 10 | tail -c 2`
set mm = `echo $1 | head -c 12 | tail -c 2`
set ss = `echo $1 | head -c 14 | tail -c 2`

if (  $line == 1 && $len == 14 && $yyyy >= 1900 && $yyyy <= 9999  &&  $MM >= 1  && $MM <= 12 && $DD >= 1 && $DD <= 31 && $hh >= 0 && $hh <= 23 && $mm >= 0 && $mm <= 59 && $ss >= 0 && $ss <= 59 ) then
	echo "OK"
else
	echo "NG"
	endif
endif

Answer 3

　^[1-9][0-9][0-9][0-9][0-1][0-9][0-3][0-9][0-2][0-9][0-5][0-9][0-5][0-9]$
# ^                                                              ^       ^
# |                                                              |       +-- 追加
# +-- 追加                                                        +-- [0-5] を追加

上記でとりあえず__かなり大雑把__には判定はできますが、このままでは例えば、20201939295959(2020年19月39日29時59分59秒)のような、おかしな日時でもOK判定が出てしまいます。これらもエラーと判定したい場合、別途対策をする必要があります。