git-rename-file1

Rename a file or directory and ensure git recognizes the change, regardless of filesystem case-sensitivity.

Usage

git-rename-file OPTIONS source destination

Overview

The git-rename-file command renames a file or directory and ensures Git recognizes the change, regardless of filesystem case-sensitivity. It combines the functionality of the mv command and git mv.

This is particularly useful for renaming files or directories to change only their case, which might not be detected by Git on case-insensitive filesystems.

Options

-h, --help Show usage information.

Examples

Rename a file:

: git-rename-file old_filename new_filename

Rename a directory:

: git-rename-file old_directory new_directory