Aller au contenu
Korben, roi d’internet, logo bébé avec des lunettes en mode thug life

Associez un éditeur de source externe à Firefox

Voici une petite astuce qui va faire plaisir aux développeurs web. Si vous utilisez Firefox, lorsque vous devez étudier le code source d’une page, vous faites un simple clic droit -> Code source de la page. Et vous vous retrouvez avec ceci :

Logo de Firefox avec l'extension de l'éditeur de source externe

Un magnifique lecteur de code source… Super pratique non ?

Bah non, pas vraiment…

C’est pourquoi, je vais vous expliquer comment faire en sorte que l’éditeur qui s’ouvre lorsque vous visualisez la source d’une page, soit celui que vous utilisez pour coder.

Les exemples ci-dessous ont été réalisés pour Ubuntu mais ça fonctionne de la même manière sur Mac et Windows.

Ouvrir le code source avec Gedit :

  • Ouvrir Firefox
  • Taper about:config dans le champs d’url,
  • Filtrer sur « view_source« ,
  • Modifier les paramètres suivantes :
    -> view_source.editor.external : true
    -> view_source.editor.path : /usr/bin/gedit

Ouvrir le code source avec Vim :

  • Ouvrir Firefox,
  • Taper about:config dans le champs d’url,
  • Filtrer sur « view_source »,
  • Modifier les configs suivantes :
    -> view_source.editor.external : true
    -> view_source.editor.path : /usr/bin/gnome-terminal
    -> view_source.editor.args :

    --window --maximize -x vi

(désolé pour le retour à la ligne au niveau de l’argument, mais c’est encore mon wordpress qui fait le rebelle)

Et le tour est joué !!

Capture d'écran de l'interface de Firefox avec l'éditeur de source externe ouvert

Merci beaucoup à Romain pour l’astuce !

[Photo]


Reprenez le contrôle : Comment supprimer vos données personnelles d’Internet avec Incogni ?

🔒Votre vie privée est-elle vraiment privée❓

😮Vous l’ignorez peut-être, mais des sociétés appelées Data Brokers collectent, agrègent et monnaient vos données personnelles sans votre consentement.

📝Votre nom, votre prénom, votre date de naissance, 📧 votre email, 🏠 votre adresse postale, et bien d’autres informations sont ainsi collectés pour être revendus à des publicitaires. Il est donc temps de reprendre le contrôle de vos informations personnelles grâce à Incogni

🛡️Incogni est un service qui se charge pour vous de contacter ces Data Brokers et d’exiger la suppression de vos données personnelles.

💥 Profitez d’une offre spéciale avec le code INCOGNI60 et ne laissez pas votre vie privée entre de mauvaises mains❗🙅‍♀️

👇🔍 CLIQUEZ ICI POUR EN SAVOIR PLUS 🔍👇

Lien partenaire

Les articles du moment