dev

Editeur pour développeur

Le 28 mai 2013 · dans carnet de notes, Ubuntu

Cet article a été modifié le 26 juin 2013

Un éditeur pour développeur GNU/Linux très pratique. J’ai nommé geany.

Comment installer la dernière version sur votre distribution Ubuntu 12.04 LTS:

sudo apt-get remove geany
sudo add-apt-repository ppa:geany-dev/ppa
sudo apt-get update
sudo apt-get install geany geany-plugins

Il remplacera efficacement votre éditeur par défaut, gedit.

Plus d’informations sur la : Documentation Ubuntu