 |
RenameFile
RenameFile["file1", "file2"]
を 
に名前を変える．
詳細
はすでに存在していること，また 
は存在していないことが必要である．- RenameFileは，
の変更日付を 
と同じに設定する． - RenameFileは，このファイルの新しいフルネームを返すか，または，このファイルが変名できない場合には$Failedを返す．
バージョン 2 の新機能
|
RenameFile["file1", "file2"] を に名前を変える．
はすでに存在していること，また は存在していないことが必要である． の変更日付を と同じに設定する．