Vertaling van "git remote" in Nederlands
We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
La commande git remote est un outil de gestion pour votre base de dépôts distants.
Het git remote commando is een beheertool voor jouw administratie van remote repositories.
Pour visualiser les serveurs distants que vous avez enregistrés, vous pouvez lancer la commande git remote.
Om te zien welke remote servers je geconfigureerd hebt, kun je het git remote commando uitvoeren.
Vous pouvez en avoir plusieurs et la commande git remote est utilisée pour les ajouter, les modifier et les supprimer.
Je kunt er een aantal van hebben en het git remote commando wordt gebruikt om ze toe te voegen, te wijzigen en te verwijderen.
Si vous souhaitez visualiser plus d'informations à propos d'un dépôt distant particulier, vous pouvez utiliser la commande git remote show [nom-distant].
Als je meer informatie over een bepaalde remote wilt zien, kun je het git remote show [remote-name] commando gebruiken.
Dans le cas par défaut, qui est celui d'un enregistrement automatique par la commande git remote add, Git récupère toutes les références de refs/heads/ sur le serveur et les enregistre localement dans refs/remotes/origin/.
In het standaard geval dat automatisch wordt geschreven door een git remote add origin commando, zal Git alle referenties onder refs/heads op de server fetchen en ze lokaal naar refs/remotes/origin schrijven.
Vous pouvez l'ajouter aux références distantes de votre projet actuel en lançant la commande git remote add comme nous l'avons décrit au chapitre 2.
Je kunt het als een nieuwe remote referentie toevoegen aan het project waar je nu aan werkt door het git remote add commando uit te voeren, zoals we behandeld hebben in Hoofdstuk 2.
Si vous souhaitez renommer une référence, vous pouvez lancer git remote rename pour modifier le nom court d'un dépôt distant.
Als je een referentie wilt hernoemen, dan kun je in nieuwere versie van Git git remote rename uitvoeren om een alias van een remote te wijzigen.
