Accademia:Quale editor di testo

Versione del 9 feb 2011 alle 16:58 di Risca86 (discussione | contributi) (Nuova pagina: == Configurare Geany == Esistono molti editor e ognuno è libero di scegliere quello che più lo aggrada, chi punta alla semplicità, chi alla completezza, chi alla comodità ecc.. Io ...)
(diff) ← Versione meno recente | Versione attuale (diff) | Versione più recente → (diff)

Configurare Geany

Esistono molti editor e ognuno è libero di scegliere quello che più lo aggrada, chi punta alla semplicità, chi alla completezza, chi alla comodità ecc.. Io personalmente ne cercavo uno semplice, gratuito e magari con un terminale integrato, senza dover passare sempre da una finestra all'altra. Così ho scelto Geany. Configurarlo per i nostri scopi è semplice,

  • se non volete usare xterm, ovvero un interprete dei comandi virtuale e preferite il nostro fidato terminale, inserite in

Modifica -> Preferenze -> Strumenti -> terminale -> gnome-terminal dove gnome-terminal stà per il comando che esegue il vostro terminale preferito, altrimenti lasciate xterm

  • invece è fondamentale indicare python3.1 come interprete :

Genera -> Set Build Commands -> Execute Commands e inserite //python3.1 "%f"// nella cella del comando

Ora potrete lavorare comodamente da qui, cliccando su esegui ogni volta che vorrete provare lo script, partirà in automatico il terminale da voi impostato.

Schermata-Set%20Build%20Commands.png