Maison  >  Article  >  Tutoriel logiciel  >  Comment définir les extensions de fichiers à ignorer lors du changement de nom

Comment définir les extensions de fichiers à ignorer lors du changement de nom

王林
王林avant
2024-01-13 14:03:201092parcourir

Certains amis veulent savoir comment configurer Tout pour ignorer les extensions lors du changement de nom. Ci-dessous, je vais vous donner une introduction détaillée aux étapes de configuration de Tout pour ignorer les extensions lors du changement de nom. Si vous êtes intéressé, vous pouvez y jeter un œil.

1. Cliquez sur "Outils" dans la barre de menu au-dessus du logiciel.

Comment définir les extensions de fichiers à ignorer lors du changement de nom

2. Cliquez ensuite sur "Options" dans la liste ci-dessous.

Comment définir les extensions de fichiers à ignorer lors du changement de nom

3. Dans la fenêtre d'interface qui s'ouvre, cliquez sur l'option "Résultats" dans "Général" à gauche.

Comment définir les extensions de fichiers à ignorer lors du changement de nom


4. Cochez ensuite la case "Ignorer l'extension lors du changement de nom" à droite.

Comment définir les extensions de fichiers à ignorer lors du changement de nom

5. Enfin, cliquez sur OK ci-dessous pour enregistrer.

Comment définir les extensions de fichiers à ignorer lors du changement de nom

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!

Déclaration:
Cet article est reproduit dans:. en cas de violation, veuillez contacter admin@php.cn Supprimer