以下は、【Shell】を使った文字列操作です。
前ゼロ詰め
cnt="10"
cnt00="00$cnt" # 0010
cnt000=echo $cnt00 | rev | cut -c 1-3 | rev #010
echo "${cnt000}" #001
文字列検索判定
if [ echo '【元の文字】' | grep '【検索する文字】 ] ; then
echo "OK"
fi
正規表現を使って文字を抽出
str=echo "【元の文字】" | sed -e 's/^.*【始まりの文字】\(.*\)【終わりの文字】.*$/\1/'
ファイルパスから拡張子を抽出
ext=${file##*.}
ファイル名の変更
mv "【元のファイル名】" "【変更後のファイル名】"
ディレクトリのコピー
if [ -d "【ディレクトリパス】" ]; then
cp -R "【ディレクトリパス】" "【ディレクトリパス】_copy"
fi