Debian-facile

Bienvenue sur Debian-Facile, site d'aide pour les nouveaux utilisateurs de Debian.

Vous n'êtes pas identifié(e).

#1 16-12-2014 21:20:54

leonlemouton
Adhérent(e)
Distrib. : Jessie
Noyau : Linux 3.16.0-4-686-pae
(G)UI : Mate 1.8.1
Inscription : 14-08-2012

Editer les sources Debian depuis Chromium

Salut,

Je découvre un truc assez impressionnant sur ce blog : http://rgeissert.blogspot.fr/2014/12/ed … -with.html

La possibilité d'éditer des fichiers sources du site http://sources.debian.net/ directement depuis chromium avec l'extension disponible ici : https://people.debian.org/~geissert/ace-debsources/

Avec en bonus :

- Envoi le patch pour le BTS
- La coloration syntaxique pour plus de 120 formats de fichiers!


C'est beau !!
Bonne découverte...
smile


Leonlemouton
°(")°

Hors ligne

Pied de page des forums