-- Leo's gemini proxy
-- Connecting to bwog-notes.chagratt.site:1965...
-- Connected
-- Sending request
-- Meta line: 20 text/gemini
Rédigé le 26 juillet 2018. Étiquettes : git
Devant parfois travailler sur Windows en plus de Linux, je me retrouve avec un soucis. Git pense que les droits d'un fichier sont différents par rapport à la valeur qui est enregistrée dans son index. La clef de configuration core.filemode permet de changer le comportement.
La gestion des droits de fichiers est différents entre Linux et Windows, ce n'est un secret pour personne.
Du coup, quand on promène des sources via git entre les deux systèmes, il se peut qu'il y ait une différence
entre les attributs enregistrés dans l'index, et ceux renvoyés par le système.
Passer l'option core.filemode à false dans la configuration, permet de ne plus avoir de problèmes.
*Attention*, c'est toujours la configuration locale au dépôt qui prime.
Si jamais vous avez placé l'option dans votre configuration globale, mais que le problème persiste, vérifiez la configuration locale du projet.
cd PROJET/ git config -l # ou bien less .git/config
Le manuel : git config --help, puis chercher « core.filemode »
-------------------------------
Contenu sous licence CC-BY-SA
-- Response ended
-- Page fetched on Sat May 18 04:58:05 2024