Git définit un processus de contrôle de version sur la façon dont les projets doivent être partagés. Il existe de nombreux sites Web qui vous permettent d'héberger vos projets Git. GitHub est l'option la plus populaire, Bitbucket est une autre alternative populaire, les deux autorisent des comptes gratuits qui peuvent créer des référentiels publics ou privés illimités. GitLab propose une alternative auto-hébergée permettant un développement privé sans dépendre d'un hébergement tiers.
Le processus de premier téléchargement d'un référentiel Git s'appelle le clonage. Le clonage inclut toutes les informations sur le référentiel à l'époque, cependant, pour maintenir le référentiel à jour au fil du temps, vous devez extraire de nouvelles versions. Pour cela, il suffit d'ouvrir une fenêtre de terminal dans le répertoire avec la version locale du référentiel et de taper la commande « git pull ».
Le fonctionnement de cette commande est particulièrement simple si vous souhaitez simplement télécharger une version mise à jour du référentiel ; la version locale sera mise à jour pour correspondre à la version distante. Vous pouvez, cependant, voir qu'il pourrait y avoir des problèmes si vous avez apporté des modifications à votre version locale.
La commande "git pull" exécute en fait deux commandes distinctes "git fetch" et "git merge FETCH HEAD". La sous-commande « git fetch » extrait spécifiquement la version la plus récente du référentiel en ligne et la stocke temporairement. La sous-commande « git merge FETCH HEAD » fusionne ensuite vos modifications locales avec la version téléchargée, les nouveaux commits étant préférés.
Astuce : Un "git commit" est une soumission d'un changement, il est possible d'avoir plusieurs commits locaux et distants qui font la même chose ou des choses différentes. Les commits locaux ne sont pas visibles pour la version distante tant que les modifications ne sont pas poussées. Chaque commit détaille exactement les modifications apportées et inclut un horodatage.
Conflits entre les versions locales et distantes
Idéalement, dans un scénario de fusion, il n'y aura pas de conflits et le processus de fusion se terminera automatiquement. Les fusions peuvent être particulièrement faciles si peu de modifications ont été apportées ou si vos modifications locales n'interfèrent pas avec les modifications à distance. Si, cependant, il y a des modifications complexes conflictuelles dans la même partie du code, Git lancera une erreur de fusion.
À ce stade, vous pouvez soit interrompre la fusion avec la commande « git merge –abort » soit essayer de résoudre manuellement les conflits. Les commandes « git mergetool » et « git diff » fournissent un exemple graphique des différences qui devraient permettre de voir aussi facilement que possible quelles modifications doivent être appliquées manuellement pour permettre à la fusion de se terminer. Une fois que vous avez résolu tous les conflits, tapez la commande « git merge –continue » pour terminer la fusion.
La commande "git mergetool" ouvrira un outil graphique comme celui-ci pour vous aider à résoudre manuellement les conflits.
Chrome, par défaut, ne vous montre pas l'URL complète. Vous ne vous souciez peut-être pas trop de ce détail, mais si, pour une raison quelconque, vous avez besoin d'afficher l'URL complète, des instructions détaillées sur la façon de faire en sorte que Google Chrome affiche l'URL complète dans la barre d'adresse.
Reddit a encore modifié sa conception en janvier 2024. La refonte peut être vue par les utilisateurs de navigateurs de bureau et réduit le flux principal tout en fournissant des liens.
Taper votre citation préférée de votre livre sur Facebook prend du temps et est plein d'erreurs. Découvrez comment utiliser Google Lens pour copier du texte de livres sur vos appareils.
Parfois, lorsque vous travaillez sur Chrome, vous ne pouvez pas accéder à certains sites Web et obtenez une erreur « L'adresse DNS du serveur fixe est introuvable dans Chrome ». Voici comment résoudre le problème.
Les rappels ont toujours été le point fort de Google Home. Ils nous facilitent sûrement la vie. Faisons un tour rapide sur la façon de créer des rappels sur Google Home afin de ne jamais manquer de faire des courses importantes.
Nous avons tous des Snaps que nous souhaitons garder privés, qu'il s'agisse de photos personnelles ou simplement de quelque chose que vous ne voulez pas que quiconque utilise votre téléphone puisse voir. Vous pouvez déjà créer des histoires privées sur Snapchat, et désormais, pour ces Snaps privés supplémentaires, vous pouvez protéger votre confidentialité sur Snapchat avec la fonctionnalité My Eyes Only Snapchat.
Votre disque de stockage interne de 825 Go de votre PlayStation 5 semble beaucoup, mais les jeux vidéo modernes peuvent être volumineux. De nombreux titres exigent plus de 50 Go, certains dépassant même 100 Go.
Lorsque vous souhaitez envoyer le même e-mail à vos clients, employés, membres de club ou à un groupe similaire, vous pouvez saisir un e-mail une fois et envoyer un message à tout le monde à l'aide de l'outil de fusion et publipostage Gmail. Autrefois surnommée fonctionnalité « envoi multiple », le publipostage dans Gmail vous permet d'insérer des contacts Google ou une liste de diffusion à partir de Google Sheets.
Comment changer votre mot de passe sur le service de streaming vidéo Netflix à l'aide de votre navigateur préféré ou de votre application Android.
Parfois, les applications peuvent se charger lentement, planter ou occuper trop d'espace de stockage. Effacer les données mises en cache de votre téléphone peut aider à résoudre ces problèmes et à libérer de l'espace pour d'autres fichiers importants.
