関連ワード:  bash replace extension    bash replace extension in string    bash replace extension in variable    bash replace extension in filename    bash replace extension of file    bash change extension of all files in directory    bash change extension    bash change extension in string    bash change extension of file    sed replace extension