Voici un petit tutoriel pour configurer un dépôt Git dans un dossier de sa Dropbox
Remarques :
- Je ne traiterai pas ici de l’utilité d’un gestionnaire de sources comme Git, ni de son installation. Ils feront éventuellement l’objet d’un autre post.
- L’utilisation de git démontrée ici n’est pas la meilleure, car des conflits pourraient intervenir si deux personnes pushent au même moment. Si vous pensez que cela pourrait arriver, considérez l’utilisation de bitbucket ou encore github, tous deux gratuits.
Prérequis :
- Avoir installé et configuré Dropbox et Git;
- Avoir des connaissances de base de la ligne de commande et de Git.
Ce petit tuto vous permettra à terme de pouvoir partager votre code source à partir d’un dossier de votre Dropbox avec vos amis. Ce n’est bien sûr pas la fonctionnalité première d’un dépôt Git que d’être clôné depuis Dropbox, mais quand on n’a pas de serveur et qu’on veut faire simple, ce n’est pas mal !
Tout d’abord, créez un dépôt vide dans votre Dropbox :
$ git init --bare /chemin/dans/la/Dropbox/nom_du_depot.git
Ensuite naviguez jusqu’au dossier de travail puis faites :
$ git clone /chemin/dans/la/Dropbox/nom_du_depot.git .
Ignorez l’alerte comme quoi le dépôt est vide. C’est fini !
Ensuite vous pouvez ajouter puis commiter normalement vos fichiers avec :
$ git add "nom_du_fichier.ext" $ git commit -am "explications sur commit"
Voici la commande pour faire le premier push vers le dépôt dans votre Dropbox
$ git push origin master
Ensuite de quoi vous pouvez utiliser
$ git push
Attention : Faites attention de ne pas puller à plusieurs en même temps : Dropbox n’est pas fait pour gérer une modification concurrente, et vous aurez donc un problème majeur dans votre dépôt !
Je remercie un ami cher de son aide précieuse pour la réalisation de cette configuration. C’est grâce à lui que j’ai entendu parler de Git pour la première fois, et je lui en suis reconnaissant.
Lien utile : Manuel de Git en anglais sur kernel.org
Commentaires récents