Discussion :

[lolotoms]

Bonjour,

J'ai un dépôt sur github, sur lequel j'ai une base de données vierge. C'est un fichier .db, soit un fichier binaire. Lorsqu'il y a un nouveau collaborateur sur le projet, je souhaite qu'il puisse cloner la base vierge depuis le dépôt central. Cependant, une fois que la base vierge est clonée sur son dépôt local, je souhaite qu'il ne puisse pas commiter et pusher les modifications. J'ai placé le fichier dans un .gitignore mais il n'est pas ignoré car il est présent sur le dépôt central.

Connaissez vous un moyen de gérer ce cas?

Merci

[Marco46]

En résumé tu souhaites :
- Avoir le fichier .db sur le repo pour que lorsqu'un dev clone le projet il ait accès à ce fichier
- Tu ne veux pas que les développeurs puissent commit et push des modifs sur ce fichier au remote

Je te conseille cet article : Three ways of excluding files.

En résumé il y a 3 solutions :

1- un fichier .gitignore placé dans le projet, il est embarqué dans le repository, n'importe qui clonant le projet dispose des mêmes règles. Cette solution ne matche pas avec ton cas.
2- modifier .git/info/excludes qui est dans le répertoire du projet. Ce fichier est créé par git lors du clone (ou du init) mais il n'est pas versionné. Ainsi les modifs dans ce fichiers sont spécifiques à ce projet pour ce bureau de travail. Là ça va fonctionner pour ton cas. Il faut que chacun de tes devs ajoutent le nom de ton fichier .db à ce fichier.
3- settings in ~/.gitconfig. C'est une config globale à la machine. Cela va affecter donc tous les repo sur le poste de travail. Si tu as une config git que tu fournis à l'installation de ton poste de développement et que la demande sur le .db s'applique à chaque projet pour chaque dev c'est un bon moyen de partager ça à tout le monde.

Voilà. La solution 2 reste la plus rapide à mettre en oeuvre dans ton cas.