Accademia:Quale editor di testo: differenze tra le versioni
(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 ...) |
(Nessuna differenza)
|
Versione delle 16:58, 9 feb 2011
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.
