12 Febbraio , 2008
E per gli amanti della programmazione naturale (editor di testo e terminale) ecco alcuni plugins per Gedit (segnalati da Liuk) che renderanno sicuramente più gradevole la programmazione per mezzo del nostro editor. Per installare i plugin basta un semplice comando:
sudo apt-get install gedit-plugins
Tra i plugin che meritano importanza c’è quello che permette di avere un terminale integrato in gedit per la compilazione/prova del programma. Per avere un’ambiente ancora più confortevole si possono aggiungere diverse opzioni (molte delle quali già incluse in gedit) come l’indentazione del testo, l’evidenziamento automatico delle parentesi dello stesso blocco e la numerazione delle righe.
Info sui plugins
Discussione sul forum di ubuntu
2 Commenti |
Programmazione |
Permalink
Pubblicato da Flax
12 Febbraio , 2008
Per gli amanti della programmazione ecco un’ambiente di sviluppo davvero completo e ben realizzato. Questo è il software che usiamo per programmare al Politecnico di Torino (che da ora in poi chiamerò poli
). L’installazione può essere effettuata semplicemente tramite i repo:
deb http://lgp203.free.fr/ubuntu/ gutsy universe
deb http://apt.wxwidgets.org/ gutsy-wx main
Autenticateli con:
wget -q http://lgp203.free.fr/public.key -O- | sudo apt-key add -
wget -q http://apt.wxwidgets.org/key.asc -O- | sudo apt-key add -
Ed infine installate il software con:
sudo apt-get install libcodeblocks0 codeblocks libwxsmithlib0 codeblocks-contrib
Beh, buona programmazione
11 Commenti |
Programmazione |
Permalink
Pubblicato da Flax