Hoe een Git-repository in Linux te trekken

Git definieert een versiebeheerproces voor hoe projecten moeten worden gedeeld. Er zijn veel websites waarmee je je Git-projecten kunt hosten. GitHub is de meest populaire optie, Bitbucket is een ander populair alternatief, beide staan ​​gratis accounts toe die onbeperkte openbare of privé-repositories kunnen creëren. GitLab biedt een door uzelf gehost alternatief dat privéontwikkeling mogelijk maakt zonder afhankelijk te zijn van hosting van derden.

Het proces om eerst een Git-repository te downloaden, wordt klonen genoemd. Klonen omvat alle informatie over de repository op dat moment, maar om de repository in de loop van de tijd up-to-date te houden, moet u nieuwe versies downloaden. Om dit te doen, opent u eenvoudig een terminalvenster in de map met de lokale versie van de repository en typt u het commando "git pull".

De bediening van dit commando is bijzonder eenvoudig als je gewoon een bijgewerkte versie van de repository wilt downloaden; de lokale versie wordt bijgewerkt zodat deze overeenkomt met de versie op afstand. U kunt echter zien dat er problemen kunnen optreden als u wijzigingen heeft aangebracht in uw lokale versie.

Het commando "git pull" voert eigenlijk twee afzonderlijke commando's uit: "git fetch" en "git merge FETCH HEAD". Het subcommando "git fetch" haalt specifiek de nieuwste versie uit de online repository en slaat deze tijdelijk op. Het subcommando "git merge FETCH HEAD" voegt vervolgens je lokale wijzigingen samen met de gedownloade versie, waarbij nieuwere commits de voorkeur hebben.

Tip: Een “git commit” is een indiening van een wijziging, het is mogelijk om meerdere lokale en remote commits te hebben die dezelfde of verschillende dingen doen. Lokale commits zijn niet zichtbaar voor de externe versie totdat de wijzigingen zijn doorgevoerd. Elke commit geeft precies aan welke wijzigingen zijn aangebracht en bevat een tijdstempel.

Conflicten tussen lokale en externe versies

Idealiter zijn er in een samenvoegscenario geen conflicten en wordt het samenvoegproces automatisch voltooid. Samenvoegen kan bijzonder gemakkelijk zijn als er weinig wijzigingen zijn aangebracht, of als uw lokale wijzigingen geen invloed hebben op eventuele wijzigingen op afstand. Als er echter tegenstrijdige complexe wijzigingen zijn in hetzelfde deel van de code, zal Git een samenvoegfout veroorzaken.

Op dit punt kun je het samenvoegen afbreken met het commando "git merge -abort" of proberen de conflicten handmatig op te lossen. De commando's "git mergetool" en "git diff" bieden een grafisch voorbeeld van de verschillen die zouden moeten helpen om het zo gemakkelijk mogelijk te maken om te zien welke wijzigingen handmatig moeten worden toegepast om het samenvoegen te voltooien. Als je alle conflicten hebt opgelost, typ je het commando "git merge –continue" om het samenvoegen te voltooien.

Hoe een Git-repository in Linux te trekken

Het commando "git mergetool" opent een grafische tool zoals deze om je te helpen handmatig conflicten op te lossen.



Leave a Comment

Hoe u Google Chrome kunt dwingen altijd volledige URLs weer te geven

Hoe u Google Chrome kunt dwingen altijd volledige URLs weer te geven

Chrome toont standaard niet de volledige URL. Dit detail interesseert u misschien niet zoveel, maar als u om wat voor reden dan ook de volledige URL wilt weergeven, vindt u gedetailleerde instructies over hoe u Google Chrome de volledige URL in de adresbalk kunt laten weergeven.

Hoe je oude Reddit terugkrijgt

Hoe je oude Reddit terugkrijgt

Reddit veranderde hun ontwerp opnieuw in januari 2024. Het herontwerp is zichtbaar voor desktopbrowsergebruikers en vernauwt de hoofdfeed en biedt links

Hoe inhoud uit leerboeken te kopiëren met Google Lens

Hoe inhoud uit leerboeken te kopiëren met Google Lens

Het typen van je favoriete citaat uit je boek op Facebook kost tijd en zit vol met fouten. Ontdek hoe u Google Lens gebruikt om tekst uit boeken naar uw apparaten te kopiëren.

Fix Server DNS-adres kon niet worden gevonden in Chrome

Fix Server DNS-adres kon niet worden gevonden in Chrome

Soms, wanneer u in Chrome werkt, heeft u geen toegang tot bepaalde websites en krijgt u de foutmelding 'Fix Server DNS-adres kan niet worden gevonden in Chrome'. Hier ziet u hoe u het probleem kunt oplossen.

Beknopte handleiding voor het maken van herinneringen op Google Home

Beknopte handleiding voor het maken van herinneringen op Google Home

Herinneringen zijn altijd het belangrijkste hoogtepunt van Google Home geweest. Ze maken ons leven zeker gemakkelijker. Laten we een korte rondleiding geven over hoe u herinneringen kunt maken op Google Home, zodat u nooit belangrijke boodschappen hoeft te doen.

Netflix: wachtwoord wijzigen

Netflix: wachtwoord wijzigen

Hoe u uw wachtwoord op de Netflix-streamingvideoservice kunt wijzigen met uw favoriete browser of Android-app.

Hoe u de prompt voor het herstellen van paginas in Microsoft Edge kunt uitschakelen

Hoe u de prompt voor het herstellen van paginas in Microsoft Edge kunt uitschakelen

Als u het bericht Pagina's herstellen op Microsoft Edge wilt verwijderen, sluit u gewoon de browser of drukt u op de Escape-toets.

Bitwarden: hoe u uw hoofdwachtwoord kunt wijzigen Tip

Bitwarden: hoe u uw hoofdwachtwoord kunt wijzigen Tip

Als uw Bitwarden-wachtwoordhint verbeterd kan worden, zijn dit de stappen om deze in minder dan een minuut te wijzigen.

Afbeeldingen worden niet weergegeven in Google Doc: waarom en hoe dit op te lossen

Afbeeldingen worden niet weergegeven in Google Doc: waarom en hoe dit op te lossen

Als uw afbeeldingen niet in een Google-document worden weergegeven, kan het probleem verschillende redenen hebben. Hier zijn enkele mogelijke oplossingen

Rijen en kolommen verbergen en zichtbaar maken in Google Spreadsheets

Rijen en kolommen verbergen en zichtbaar maken in Google Spreadsheets

Beheers de toepassing Google Spreadsheets door te leren hoe u kolommen kunt verbergen en zichtbaar maken. U kunt dit doen op zowel computers als mobiele apparaten.