giovedì 15 maggio 2014

[HOWTO] Utilizzare gli snippet su Blogger

Per chi avesse la necessità di inserire degli snippet su Blogger (ex Blogspot), è possibile utilizzare Prettify oppure GitHub Gist.
Prettify
Bisogna aprire il pannello di Blogger, selezionare Modello e poi fare click su Modifica HTML. Successivamente, bisogna individuare la riga contenente
</head>
ed inserire, subito prima, la riga
<script src='https://google-code-prettify.googlecode.com/svn/loader/run_prettify.js?skin=sons-of-obsidian'/>
Nell'esempio è stato utilizzata la skin sons-of-obsidian. È possibile utilizzare la skin di default rimuovendo il parametro skin, oppure altre skin presenti qui.
A questo punto, all'interno del post, bisogna utilizzare il tag pre nel modo seguente:
<pre class="prettyprint lang-java linenums">
public static int test() {
    int a=0;
    return a;
}</pre>
prestando attenzione agli spazi, in quanto il tag pre li visualizza così come sono nel sorgente HTML. Inoltre, se si utilizza l'evidenziazione di codice HTML, bisogna sostituire i simboli < e > rispettivamente con &lt; e &gt;
Nell'esempio precedente è stata utilizzata la numerazione delle righe (classe linenums) e l'evidenziazione della sintassi Java (classe lang-java). Per utilizzare un altro linguaggio, basta sostituire la stringa java nel nome della classe con una delle stringhe presenti qui.
Per ulteriori informazioni consultare la pagina del progetto Prettify.
GitHub Gist
È sufficiente creare uno snippet e copiare la stringa contenuta in "Embed this gist" nell'HTML del post.
Visualizzazioni dinamiche
Nel caso si utilizzi come modello una "visualizzazione dinamica", il metodo precedente non va più bene. Il problema è che, utilizzando l'URL fornita da Gist, gli snippet non vengono visualizzati.
Googlando un po', ho trovato gist-Blogger, che consente di risolvere il problema. È sufficiente modificare l'HTML del post ed aggiungere il seguente codice all'inizio: e successivamente inserire il seguente codice nel punto in cui si desidera visualizzare lo snippet: sostituendo <gist-id> con l'id dello snippet.

venerdì 9 maggio 2014

[HOWTO] Risoluzione problema layout tastiera Ubuntu 14.04

Dopo l'aggiornamento di Ubuntu dalla versione 13.04 alla 14.04, ho riscontrato alcuni problemi riguardanti il layout della tastiera.
In particolare, esso risultava essere il layout inglese (USA), nonostante l'icona sul pannello in alto a destra indicasse il layout italiano.
Stanco di dover cambiare ogni volta manualmente il layout (selezionando prima quello inglese e successivamente quello italiano), mi sono messo alla ricerca di una soluzione sul web, ma senza risultati soddisfacenti.
Alla fine sono riuscito ad individuare la soluzione definitiva: è sufficiente aprire una console ed eseguire
ibus-setup
Dopodiché è sufficiente spostarsi nella scheda Metodo di input ed eliminare le lingue non desiderate, selezionandole e cliccando su Rimuovi.