L'editor integrato è grandioso. Bello anche che colori la sintassi. Peccato solo che non preveda le sintassi che più usiamo su questo forum:

• quella per i generici file di configurazione (questa è facile: i commenti iniziano con # e le stringhe sono racchiuse tra " o ');
• quella degli script di shell (dovrebbe riconoscere commenti, stringhe, variabili e i costrutti if, case, while...).

È facile aggiungere nuove sintassi o è necessario stravolgere l'intero codice?

Se non è fattibile, si potrebbe almeno disabilitare la colorazione quando non esiste una sintassi adatta? È veramente brutto leggere comandi di shell con colori casuali buttati dentro! Per ora sto tamponando usando lang="python" nei miei post... almeno non mi colora i singoli / o trattini!

M.

P.S. Visto che stiamo sognando, sarebbe anche utile avere una sintassi per riportare una sessione di shell, dove righe di comando (precedute da un prompt: # o $) si alternano a righe con l'output dei comandi. Le prime andrebbero formattate come in uno script di shell, le seconde in un altro colore senza altre formattazioni.

Ok!

Ora l'highlight di default è "bash" (quindi si attiva automaticamente usando il classico tag code), mentre per attivare gli highlight specifici si possono usare i tag:

Vi ricordo che i tag possono essere:

• nella forma xhtml (come da screenshot)
• sia nella forma bbcode
• oppure come  [code lang="nome_linguaggio"]  

Tag attivi:

Con questa modifica il sistema ha provveduto automaticamente ad eliminare la "filter cache", con l'effetto che tutte le sezioni code ereditano ora di default l'highlighting bash, anche per i vecchi contenuti.

Ciao

Certo che è possibile, anche in breve tempo.

L'unica cosa è che non vorrei che molti abbiano già impostato i filtri nei loro client e questa modifica comporti doverli ricreare.

In Gmail il problema non è molto evidente, anche perchè il subject è prefissato con "[*italia.org] subject", forse però non ho ben capito il problema.

paolo ha scritto:

Ciao

Certo che è possibile, anche in breve tempo.

L'unica cosa è che non vorrei che molti abbiano già impostato i filtri nei loro client e questa modifica comporti doverli ricreare.

In Gmail il problema non è molto evidente, anche perchè il subject è prefissato con "[*italia.org] subject", forse però non ho ben capito il problema.

Immagino che dipenda da come si è abituati.
Io non _sposto_ nulla (esclusa la fuffa e facebook) automaticamete dall'inbox alle etichette/directory, le autotaggo e basta. Con un colpo d'occhio "starro" oppure archivio (il già etichettato). Il "colpo d'occhio" tipicamente si posa sul mittente più che sull'oggetto. Una mail inviatami da un certo contatto di lavoro ha già una sua priorità (nella mia testa) rispetto ad altre di altri contatti di lavoro o meno che siano. Nell'inbox tengo le cose da fare in giornata e, ancora, le evado tipicamente "occhiando" il mittente.
Una mail no-reply inconsciamente la taggo come "inutile || spammosa || da un crontab || un modulo".

Ribadisco, magari è il modo che ho io di leggere/usare la posta ma l'oggetto è per me _meno_ rilevante del mittente.

Per quanto riguarda i filtri se sono impostati sul mittente (inteso come no-reply@debianitalia.org) non dovrebbero cambiare se il mittente diventa "DebianItalia < no-reply@debianitalia.org > " (gli spazi sono aggiunti per evitare che l'editor magni i caratteri e così il mittente diventa, tra l'altro, qualificato anche con un nome.

Poi butto lì eh... è proprio per usare al meglio gli strumenti quotidiani

ciaooo!