Debian系Linuxで、ファイルの拡張子を大文字から小文字に変換したかったので、手順を探そうとGoogle検索してみたけど、ファイル全体の変換ばかりヒットする。 このため、断片的な情報を混ぜ合わせて、自力で解決してみた。