My use case : I have a commited and pushed file that I want to keep but I want to ignore change. I can not add it to .gitignore beause I whould remove it with git rm --cached file. The solution is to use the following line :

git update-index --skip-worktree file

— — — — — — — — — — — — — — — — — — — — —

La série « Jé pa l’temps » est une série de tutoriels rapides en mode “prise de note” pour avoir une trace de tout ce dont je ne peux me rappeler et pourquoi pas le partager à d’autre. On va à l’essentiel, laissons les jolis pavés à d’autres sites comme medium… LOL !