CSH スクリプトのファイル名から日付を抽出しますか?

CSH スクリプトのファイル名から日付を抽出しますか?

ファイル名のコンポーネントを調べて日付/時刻を生成する CSH スクリプトを作成しようとしています。問題は、ファイル名の一部を抽出して使用する方法がわからないことです。サンプルのファイル名は次のとおりです。

nam_218_20140126_1800_001.grb  

20140126はファイル名の日付部分で、1800は時間です。これを抽出して、2014-01-26_18:00:00環境変数で使用するために に変換する必要があります。何かヒントはありますか?

ありがとう

答え1

% set filename='nam_218_20140126_1800_001.grb' 
% set datetime=`echo "$filename" | sed -r 's/.*_([0-9]{4})([0-9]{2})([0-9]{2})_([0-9]{2})([0-9]{2}).*/\1-\2-\3_\4:\5:00/'`
% echo $datetime
2014-01-26_18:00:00

答え2

echoと を使用しますcut。 を読んでman cut、次のようにします。

$ csh
aardvark:~% set zz="nam_218_20140126_1800_001.grb"
aardvark:~% set y=`echo $zz|cut -c9-12`
aardvark:~% echo $y
2014
aardvark:~% set m=`echo $zz| cut -c13-14`
aardvark:~% echo $m
01
aardvark:~% set d=`echo $zz| cut -c15-16`
aardvark:~% echo $d
26
aardvark:~% set H=`echo $zz | cut -c18-19`
aardvark:~% echo $H
18
aardvark:~% set M=`echo $zz | cut -c20-21`
aardvark:~% echo $M
00
aardvark:~% echo "$y-$m-${d}_${H}:${M}:00"
2014-01-26_18:00:00  

具体的な答えではありませんcsh

関連情報