Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
git push
Vertaling van "git push" in Nederlands
git push
Par défaut, la commande git push ne transfère pas les balises vers les serveurs distants.
Standaard zal het git push commando geen tags naar remote servers versturen.
Vous pouvez effacer une branche distante en ajoutant l'option - delete à git push.
Je kunt een remote branch verwijderen met de - delete optie bij git push.
C'est pourquoi les commandes git push et git pull fonctionnent directement sans plus de paramétrage.
Daarom werken git push en git pull zo uit het doosje, zonder verdere argumenten.
Si vous lancez git push - tags, l'étiquette maintainer-pgp-pub sera partagée publiquement.
Als je git push - tags uitvoert, zal de maintainer-pgp-pub tag met iedereen gedeeld worden.
Ce processus s'apparente à pousser des branches distantes - vous pouvez lancer git push origin [nom-du-tag].
Dit proces is hetzelfde als remote branches delen - je kunt git push origin [tagnaam] uitvoeren.
Le crochet pre-push est lancé pendant un git push, après la mise à jour des références distantes mais avant le transfert des objets.
De pre-push hook wordt aangeroepen tijdens git push, nadat de remote refs zijn ge-update maar voordat er objecten zijn gestuurd.
La commande git push est utilisée pour communiquer avec un autre dépôt, calculer ce que votre base de données locale a et que le dépôt distant n'a pas, et ensuite pousser la différence dans l'autre dépôt.
Het git push commando wordt gebruikt om te communiceren met een andere repository, berekenen wat je lokale database heeft en de remote niet, en daarna de verschillen te pushen naar de andere repository.
Un moyen mnémotechnique est de l'associer à la syntaxe de la commande git push [nomdistant] [branche locale]:[branche distante] que nous avons utilisé précédemment.
Een manier om dit commando te onthouden is door de git push [remotenaam] [lokalebranch]:[remotebranch] syntaxis te onthouden die we iets eerder behandeld hebben.
Vous pouvez effacer une branche distante en ajoutant l'option - delete à git push.
Dan kun je een remote branch verwijderen door de nogal botte syntaxis git push [remotenaam]:[branch]te gebruiken.
La commande bundle va empaqueter tout ce qui serait normalement poussé sur le réseau avec une commande git push dans un fichier binaire qui peut être envoyé à quelqu'un par courriel ou copié sur une clé USB, puis de le dépaqueter dans un autre dépôt.
Het bundle commando pakt alles wat normaalgesproken over het netwerk zou worden gepushed met een git push commando in een binair bestand die je naar iemand kunt mailen of op een flash drive kunt bewaren, en dan uitpakken in de andere repository.
Si vous exécutez git push et que votre branche courante suit origin/master, les commits listés par git log origin/master... HEAD sont les commits qui seront transférés sur le serveur.
Als je een git push laat lopen en je huidige branch trackt origin/master, zijn de commits die worden getoond door git log origin/master... HEAD de commits die naar de server zullen worden gestuurd.
Si vous vous trouvez sur une branche de suivi et que vous tapez git push, Git sélectionne automatiquement le serveur vers lequel pousser vos modifications.
Als je op een tracking branch zit en git push typt, dat weet Git automatisch naar welke server en branch hij moet pushen.
Par exemple, disons que vous exécutez git push origin master dans votre projet et origin est défini comme une URL qui utilise le protocole SSH.
Bijvoorbeeld, stel dat je git push origin master uitvoert in je project en origin is gedefinieerd als een URL dat het SSH protocol gebruikt.
Ga naar Premium voor toegang tot miljoenen vertaalvoorbeelden, onbeperkt woorden opslaan en leren, zonder advertenties.
Synoniemen voor git push in het Frans
Suggesties
Resultaten: 18. Exact: 18. Verstreken tijd: 42 ms.
