Changement de nom d’un fichier

Vous pouvez renommer n’importe quel fichier dans votre dépôt directement dans GitHub Enterprise Server ou en utilisant la ligne de commande.

Platform navigation

Dans cet article

Changement de nom d’un fichier sur GitHub Enterprise Server

Le changement de nom d’un fichier vous donne également la possibilité de déplacer le fichier vers un nouvel emplacement.

Tip

  • Si vous essayez de renommer un fichier dans un dépôt auquel vous n’avez pas accès, nous dupliquerons le projet dans votre compte personnel et vous aidons à envoyer une demande de tirage dans le dépôt d’origine après avoir validé votre changement.
  • Les noms de fichiers créés par le biais de l’interface web ne peuvent contenir que des caractères alphanumériques et des traits d’union (-). Pour utiliser d’autres caractères, créez et validez les fichiers localement, puis envoyez-les (push) au dépôt.
  • Certains fichiers, comme des images, doivent être renommés à partir de la ligne de commande. Pour plus d’informations, consultez « Changement de nom d’un fichier à l’aide de la ligne de commande ».
  1. Dans votre dépôt, accédez au fichier que vous souhaitez renommer.
  2. En haut à droite de la vue de fichier, cliquez sur pour ouvrir l’éditeur de fichier.

Capture d’écran d’un fichier. Dans l’en-tête, un bouton avec une icône de crayon est indiqué en orange foncé.

  1. Dans le champ du nom de fichier, remplacez le nom du fichier par le nouveau nom de fichier souhaité. Vous pouvez également mettre à jour le contenu de votre fichier en même temps.

    Capture d’écran montrant un fichier de référentiel ouvert pour être modifié dans le navigateur web. Le champ du nom de fichier est actif et mis en évidence avec un encadré orange foncé.

  2. Dans le champ de message de validation, tapez un message de validation court et descriptif qui indique la modification que vous avez apportée au fichier. Vous pouvez attribuer la validation à plusieurs auteurs dans le message de validation. Pour plus d’informations, consultez « Création d’une validation avec plusieurs auteurs ».

  3. Sous les champs de message de commit, choisissez si vous souhaitez ajouter votre commit à la branche actuelle ou à une nouvelle branche. Si votre branche actuelle est la branche par défaut, vous devez choisir de créer une branche pour votre validation, puis de créer une demande de tirage (pull request). Pour plus d’informations, consultez « Création d’une demande de tirage ».

    Capture d’écran d’une demande de tirage GitHub montrant une case d’option permettant de commiter directement dans la branche main ou de créer une branche. Une nouvelle branche est sélectionnée.

  4. Cliquez sur Valider les modifications ou Proposer des modifications.

Changement de nom d’un fichier à l’aide de la ligne de commande

Vous pouvez utiliser la ligne de commande pour renommer n’importe quel fichier dans votre dépôt.

De nombreux fichiers peuvent être renommés directement sur GitHub Enterprise Server. Toutefois, le changement de nom de certains fichiers, comme des images, nécessite l’utilisation de la ligne de commande.

Cette procédure suppose que vous avez déjà :

  1. Ouvrez TerminalTerminalGit Bash.

  2. Remplacez le répertoire de travail actuel par votre dépôt local.

  3. Renommez le fichier, en spécifiant l’ancien nom de fichier et le nouveau nom que vous souhaitez donner au fichier. Cela permet de préparer votre modification pour la validation.

    git mv OLD-FILENAME NEW-FILENAME

  4. Utilisez git status pour vérifier l’ancien et le nouveau nom de fichier.

    $ git status
> # On branch YOUR-BRANCH
> # Changes to be committed:
> #   (use "git reset HEAD <file>..." to unstage)
> #
> #     renamed: OLD-FILENAME -> NEW-FILENAME
> #

  5. Validez le fichier dont vous avez placé une copie intermédiaire dans votre dépôt local.

    $ git commit -m "Rename file"
# Commits the tracked changes and prepares them to be pushed to a remote repository.
# Pour supprimer ce commit et modifier le fichier, utilisez « git reset --soft HEAD~1 », puis commitez et rajoutez le fichier.

  6. Poussez les modifications de votre référentiel local vers votre instance GitHub Enterprise Server.

    $ git push origin YOUR_BRANCH
# Pushes the changes in your local repository up to the remote repository you specified as the origin