L’extension d’un fichier est une suite de caractères placée à la fin du nom d’un fichier, généralement précédée d’un point, qui permet de déterminer le type de contenu du fichier. Elle est utilisée par le système d’exploitation pour associer le fichier à l’application appropriée. Parfois, il peut être nécessaire de renommer l’extension d’un fichier pour le rendre compatible avec une application ou un système d’exploitation spécifique. Voici comment procéder.
Renommer l’extension d’un fichier sous Windows
Pour renommer l’extension d’un fichier sous Windows, il suffit de suivre ces étapes :
- Cliquez avec le bouton droit de la souris sur le fichier.
- Sélectionnez « Renommer » dans le menu contextuel.
- Modifiez l’extension en tapant le nouveau nom, en veillant à ne pas modifier le nom du fichier lui-même.
Remarque : Assurez-vous que l’option « Masquer les extensions des fichiers connus » est désactivée dans les paramètres d’affichage des fichiers pour voir et modifier l’extension.
Renommer l’extension d’un fichier sous macOS
Sous macOS, il est également possible de renommer l’extension d’un fichier en suivant ces étapes :
- Cliquez avec le bouton droit de la souris sur le fichier.
- Sélectionnez « Lire les informations ».
- Modifiez l’extension dans le champ « Nom et extension ».
Remarque : Vous pouvez également cliquer sur le nom du fichier dans le Finder pour le modifier directement.
Ajouter des extensions dans les navigateurs web
Pour améliorer la fonctionnalité de votre navigateur, vous pouvez ajouter des modules complémentaires. Voici comment procéder pour Google Chrome :
- Accédez au menu « Plus » (trois points verticaux en haut à droite de la fenêtre).
- Sélectionnez « Extensions ».
- Cliquez sur « Obtenir plus d’extensions » pour accéder à la boutique d’extensions Chrome.
- Sélectionnez l’extension souhaitée et cliquez sur « Ajouter à Chrome ».
Désactiver une extension de navigateur
Si vous souhaitez désactiver une extension de votre navigateur, suivez ces étapes :
- Cliquez sur le menu « Plus ».
- Sélectionnez « Extensions ».
- Désactivez l’extension en question en cliquant sur l’interrupteur correspondant.
Accéder aux applications Google
Pour afficher les applications Google, vous pouvez :
- Cliquer sur le bouton « Applications » (neuf carrés en haut à droite de la fenêtre) sur la page d’accueil de Google.
- Aller sur la page d’accueil de Google Chrome et cliquer sur « Applications » dans la barre de navigation supérieure.
Installer une extension sur un téléphone
Pour installer une extension sur un téléphone, procédez comme suit :
- Rendez-vous sur la boutique d’applications correspondante (par exemple, Google Play Store pour Android ou App Store pour iOS).
- Recherchez l’extension souhaitée.
- Téléchargez et installez l’extension sur votre téléphone.
Important : Notez que toutes les extensions ne sont pas disponibles sur les plateformes mobiles et que certaines peuvent nécessiter des autorisations spécifiques pour fonctionner correctement.
Résumé des étapes
| Plateforme | Étapes pour renommer l’extension |
|---|---|
| Windows | Clic droit > Renommer > Modifier l’extension |
| macOS | Clic droit > Lire les informations > Modifier l’extension |
| Google Chrome | Menu « Plus » > Extensions > Obtenir plus d’extensions |
| Désactiver | Menu « Plus » > Extensions > Désactiver l’extension |
| Applications Google | Clic sur « Applications » sur la page d’accueil |
| Téléphone | Boutique d’applications > Rechercher et télécharger |
Ces instructions vous permettront de gérer efficacement les extensions de fichiers et les modules complémentaires sur différentes plateformes.
Pour ajouter un raccourci sur la page d’accueil de Google, suivez ces étapes :
1. Ouvrez votre navigateur web et accédez à la page que vous souhaitez ajouter en tant que raccourci.
2. Cliquez sur l’icône « Étoile » ou « Ajouter aux favoris » dans la barre d’outils de votre navigateur.
3. Dans la boîte de dialogue qui s’ouvre, sélectionnez « Ajouter à l’écran d’accueil » ou « Ajouter au bureau ».
4. Nommez votre raccourci et cliquez sur « Ajouter ».
Votre raccourci devrait maintenant apparaître sur votre page d’accueil Google ou sur votre bureau.
Pour activer les plugins, vous devez d’abord accéder au menu « Extensions » dans votre logiciel ou navigateur, puis sélectionner « Gérer les extensions » ou « Gérer les modules complémentaires ». Ensuite, recherchez le plugin que vous souhaitez activer et cochez la case « Activer ». Si le plugin nécessite une mise à jour, vous pouvez le faire à partir de la même fenêtre.
Pour changer le format d’une photo JPG en JPEG, il suffit simplement de renommer le fichier en changeant l’extension « .jpg » en « .jpeg ». Les deux formats sont identiques, la seule différence est l’extension du nom de fichier.