Supprimer un fichier nul avec git

git
Problème fichier
Auteur·rice
Affiliation

Marc Thévenin

Ined

Date de publication

12 juin 2023

Certains fichiers, en apparence vide de contenu, semblent non modifiable, et donc non supprimable. Cela empêche, entre autres, d’effacer un répertoire. C’est le cas des fichiers nul, qui sont créés assez régulièrement chez moi avec Quarto.

Impossible de modifier le fichier

Impossible de modifier le fichier

On peut nénmoins facilement les supprimer avec une installation de git sur son ordinateur [Intallation de git]

A l’Ined

Git est intégré à Applined, et peut donc être directement installé via cette application.

Suppression du fichier

clic droit + ouvrir la console (git bash here) + rm nul

clic droit + ouvrir la console (git bash here) + rm nul

Le fichier est supprimé

Le fichier est supprimé