Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
git remote
Vertaling van "git remote" in Frans
git remote
dépôt Git distant
The git remote command lets a user connect to a remote repository.
La commande git remote permet à un utilisateur de se connecter à un dépôt distant.
The git remote command is a management tool for your record of remote repositories.
La commande git remote est un outil de gestion pour votre base de dépôts distants.
Learn how to add a repository as a Git remote.
Découvrez comment ajouter un dépôt en tant que dépôt Git distant.
Set up a repository as a Git remote.
Configurez un dépôt en tant que dépôt Git distant.
To see which remote servers you have configured, you can run the git remote command.
Pour visualiser les serveurs distants que vous avez enregistrés, vous pouvez lancer la commande git remote.
You can have several of these and the git remote command is used to add, change and delete them.
Vous pouvez en avoir plusieurs et la commande git remote est utilisée pour les ajouter, les modifier et les supprimer.
If you want to see more information about a particular remote, you can use the git remote show [remote-name] command.
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].
In the default case that is automatically written by a git remote add command, Git fetches all the references under refs/heads/ on the server and writes them to refs/remotes/origin/ locally.
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/.
If you want to rename a reference, in newer versions of Git you can run git remote rename to change a remote's short name.
Si vous souhaitez renommer une référence, dans les versions récentes de Git, vous pouvez lancer git remote rename pour modifier le nom court d'un dépôt distant.
To add a new remote Git repository as a short name you can reference easily, run git remote add [short name] [url]
Pour ajouter un nouveau dépôt distant Git comme nom court auquel il est facile de faire référence, lancez git remote add vous pouvez utiliser le mot-clé pb sur la ligne de commande au lieu de l'URL complète.
Note for Git users If you deploy your application code via Git, we suggest adding a remote repository using the command "git remote".
Si vous déployez le code de votre application via Git, nous vous conseillons d'ajouter un dépôt distant en utilisant la commande 'git remote'.
You can add it as a new remote reference to the project you're currently working on by running the git remote add command as we covered in Git Basics.
Vous pouvez l'ajouter aux références distantes de votre projet en lançant la commande git remote add comme nous l'avons décrit au chapitre Les bases de Git.
All projects of group will be moved under group directory (git remote should be updated)
Tous les projets de groupe seront déplacés sous le répertoire de groupe (la télécommande git doit être mise à jour)
Synoniemen voor git remote in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Suggesties
Resultaten: 17. Exact: 17. Verstreken tijd: 29 ms.
