2015-02-27から1日間の記事一覧
ま、要は which して、ファイルの日付や md5sum を求めるだけなのですが、ちまちまやるのはメンドクサイ。よって、以下のようなスクリプトにしておくと楽ですな。 #!/bin/sh while [ "$1" != "" ]; do file=$1 shift fullpath=$( which "$file" ) date=$( da…
ま、要は which して、ファイルの日付や md5sum を求めるだけなのですが、ちまちまやるのはメンドクサイ。よって、以下のようなスクリプトにしておくと楽ですな。 #!/bin/sh while [ "$1" != "" ]; do file=$1 shift fullpath=$( which "$file" ) date=$( da…