Přejmenování již zaverzované složky v Git

Sitole
Člen | 39
+
0
-

Ahoj,
možná je to triviální, ale já jsem se s tím zatím nesetkal.
V projektu přecházím z Nette Autoloader na PSR-4 Composer autoloading.
Vše bylo v pořádku dokud jsem nespustil web na Linuxu.
Trošku mu vadí, že se snažím namapovat app/SomeModule/Presenters/HomePresenter.php, když reálně existuje cesta app/SomeModule/presenters/HomePresenter.php, což Windows nevadí. Nebyl by problém složku přejmenovat, ale mám ji již zaverzovanou v Gitu a pokud přejmenuju složku ve Windows tak Git nijak nereaguje a nebere to jako změnu. Existuje nějaké elegantní řešení jak se s tím vypořádat?

Předem děkuji za jakoukoliv.

Phalanx
Člen | 310
+
+2
-

Můžeš si nastavit, aby GIT neignoroval tuto změnu:
git config --global core.ignorecase false

Záměnu názvu adresářů (presenters – Presenters) považuju za hrubou chybu.

Sitole
Člen | 39
+
0
-

Změna adresáře mi take přijde jako velký (špatný) zásah, ale historicky vycházím z Nette sandbox a presenters zůstalo tak jak bylo.

h4kuna
Backer | 740
+
+4
-

Jedu na linuxu, takže jen odhaduji :)

Nešlo by toto?

git mv dir dir2
git commit -m "Rename dir to Dir"
git mv dir2 Dir
git commit --amend --no-edit

Editoval h4kuna (2. 10. 2018 11:35)