> home > Commands

rename_file_query

September 8th 2024
Queries the user for a new name and renames the file of the current buffer, altering the buffer's name too.