bashでファイル名操作

#! /usr/bin/sh

f="/cygdrive/c/data/trimming/src/JPCNN093.IMG"

echo "full: $f"

directory=${f%/*}
echo "directory: $directory"

other_directory=${directory/src/dst}
echo "other_directory: $other_directory"

basename=${f##*/}
echo "basename: $basename"

filename=${basename%.*}
echo "filename: $filename"

extension=${basename##*.}
echo "extension: $extension"