Как переименовать файл

В ролике описывается как легко поменять название файла.