Questo è il mio repository Git:
https://github.com/benqzq/ulcwe
Ha una directory chiamata local
e voglio cambiarne il nome con un altro (diciamo, da local
a xyz
).
La modifica manuale tramite la GUI di GitHub è un incubo poiché devo cambiare il nome della directory per ciascun file separatamente (GitHub deve ancora includere una funzionalità di "Rinomina directory", che ci crediate o no).
Dopo aver installato Git, ho provato questo comando:
git remote https://github.com/benqzq/ulcwe && git mv local xyz && exit
Anche se non ho ricevuto alcuna richiesta per la mia password GitHub, ho riscontrato questo errore:
fatal: Not a git repository (or any parent up to mount point /mnt/c)
Stopping at filesystem boundary (GIT_DISCOVERY_ACROSS_FILESYSTEM not set).
So che il punto in Git è scaricare un progetto, cambiare, testare e quindi spingere al provider di hosting (GitHub in questo caso), ma per cambiare una directory, desidero un'operazione diretta. È anche possibile con Git?
Dovrei usare un altro programma forse?