• # Versionner tout ${HOME}: moyen...

    Posté par . En réponse au journal Gérer ses fichiers de config avec git. Évalué à 10.

    B'soir !

    Au début, je versionnais tout mon ${HOME}. Et puis j'ai fait une bêtise... Le problème de versionner tout ~/, c'est lorsque l'on fait aussi du dévelopement dans un sous-dossier. Par exemple chez moi, tous mes dévs sont dans ~/dev/.

    Et du coup, il devient facile d'exécuter une commande git et que le dépôt ~/ soit utilisé alors qu'on croyait être dans un répertoire de dev ; ou l'inverse. Ou encore utiliser git au lieu de hg ; ou l'inverse.

    Maintenant, mon ~/ n'est plus un dépôt git, mais ~/.home/ l'est. Et tout ce que je veux versionner dans ~/ je le déplace dans ~/.home/ et crée un lien symbolique (il y a un script pour ça).

    Enfin, le dépôt est pushé vers mon serveur. Quand je veux déployer sur une autre machine, je clone le dépôt depuis mon serveur, lance le script qui crée les liens symboliques.

    Il reste un peu de config locale (e.g. les proxys à utiliser si différents, générer les clés ssh, etc...).

    Voilà. C'est pas parfait, ni absolument propre, mais ça fait l'affaire.

    Hop,
    Moi.