Nom de répertoire #142628
-
Bonjour, |
Beta Was this translation helpful? Give feedback.
Replies: 6 comments 2 replies
-
Explication au bas de cette page : https://docs.github.com/fr/repositories/creating-and-managing-repositories/renaming-a-repository |
Beta Was this translation helpful? Give feedback.
-
Bonjour, Pour changer le nom d'un répertoire, vous pouvez suivre les étapes détaillées sur cette page : Renommer un répertoire. Cela vous guidera à travers le processus. |
Beta Was this translation helpful? Give feedback.
-
Bonjour Meteofloralies, Pour renommer un répertoire dans un dépôt GitHub, vous pouvez utiliser la ligne de commande. Voici les étapes :
Cela devrait renommer votre répertoire de "Septembre" à "Octobre". |
Beta Was this translation helpful? Give feedback.
-
De rien ! |
Beta Was this translation helpful? Give feedback.
-
Si le problème est résolu, pourriez-vous envisager d'accepter ma réponse ? Cela aiderait d'autres personnes qui pourraient avoir la même question. Merci ! |
Beta Was this translation helpful? Give feedback.
-
Hi @Meteofloralies, thanks for participating! We take our Code of Conduct very seriously and want to help ensure that everyone has a good experience free of antagonism and harassment. Unfortunately, we don’t currently have moderators for languages other than English. Until that changes, we need to ask that everyone use English here in the GitHub Community when posting. We’ll be locking any posts in languages other than English for now, including this one. |
Beta Was this translation helpful? Give feedback.
Bonjour Meteofloralies,
Pour renommer un répertoire dans un dépôt GitHub, vous pouvez utiliser la ligne de commande. Voici les étapes :
cd chemin/du/depot
.git mv Septembre Octobre
pour renommer le répertoire.git commit -m "Renommé le répertoire Septembre en Octobre"
.git push
.Cela devrait renommer votre répertoire de "Septembre" à "Octobre".