ディレクトリ名を変更する

１．ディレクトリ名変更のためのコマンド

Linux でディレクトリ名の変更を行うには、mv コマンドを使用します。 この mv コマンドはファイルやディレクトリを移動するコマンドですが、同じディレクトリに名前を変えて移動することで、名前の変更に使用することができます。この mv コマンドを使用すれば、ディレクトリだけでなくファイルの名前も変更できます。

２．mv コマンドでディレクトリ名変更

今回は、この mv コマンドを使用して、"profaim.base.java" ディレクトリを "profaim.base.java5" という名前に変更してみました。