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

Korben Upgrade your mind

Gedit – Gérer l’indentation comme un chef

Si comme moi, vous utilisez gedit sous Ubuntu pour lire un peu de code source vous avez du remarqué que l’indentation du code, ce n’était pas encore ça… (Petite précision : j’utilise nano quand je suis dans un terminal. Oui, je sais me servir du minimum vital de vi mais faut savoir vivre avec son temps ;-)),

Pour remédier à ça, et faire en sorte que l’indentation soit toujours au poil et ce peu importe le type de fichier que vous ouvrez, il existe un plug-in pour gedit : gedit-autotab

Pour l’installer :

  • Pour gedit 2 sur Ubuntu 11.04, vous devrez télécharger ce fichier et l’ouvrir. Mettez ensuite le autotab.py et les fichiers de autotab.gedit-plugin dans le répertoire ~/.gnome2/gedit/plugins (à créer s’il n’existe pas).
  • Pour gedit 3 sur Ubuntu 11.10, vous devez télécharger ce fichier et l’ouvrir. Mettez ensuite autotab.py et les fichiers de autotab.plugin dans le répertoire ~/.local/share/gedit/plugins (à créer s’il n’existe pas).

Rendez-vous ensuite dans gedit -> Édition -> Préférences -> Greffons et choisissez « Auto Tab » dans la liste, pour l’activer

gedit-autotab

 

[Source]


PROMO Fire TV Stick 4K Ultr

-20 € sur la plus puissante des versions du stick d’Amazon

Profitez d’une qualité d’image brillante avec l’accès aux formats 4K Ultra HD, Dolby Vision, HDR et HDR10+. Découvrez un son immersif avec le support pour son Dolby Atmos sur certains titres Prime Video.
Regardez vos programmes préférés sur Prime Video, Netflix, YouTube, Molotov, ARTE, France 24, Disney+, Apple TV et plus encore (des abonnements séparés peuvent être requis).
Accédez à des milliers d’applications et de Skills Alexa, ainsi qu’à des millions de sites Web.

Fire TV stick 4K à 39,99 €