Tag: editor

XML beautifier con xmllint

xmllint è una utility che fa parte del pacchetto: libxml2-utils Per installarlo $ sudo apt-get install libxml2-utils Avevo bisogno di un “abbellitore” (beautifier) per codice XML. Ci sono tanti bei servizi anche online, ma me ne serviva uno di integrato con l’editor PHP che uso, Geany. Geany consente di inviare frammenti di codice sezionati dal …

Continue reading

Bluefish: come salvare i parametri di configurazione

Uso Bluefish editor per scrivere codice PHP/JavaScript e HTML. Consente anche di gestire progetti un po’ come fa Eclipse, ma lo uso sostanzialmente come editor. Da un po’ di tempo avevo questo comportamento fastidioso: impostavo come carattere di default dell’editor un Monospace 9pt   (Modifica > Preferenze > Caratteri e colori > caratteri dell’editor) ma …

Continue reading