Un semplice comando per verificare l’esatta versione di apache che sta lavorando sul server. $ apache2ctl -v Server version: Apache/2.4.18 (Ubuntu) Server built: 2016-07-14T12:32:26 Su una RedHat invece il comando è il seguente: $ httpd … Continue reading
Alcuni semplici passaggi per importare un repository locale sul server gitosis. Devi essere ovviamente amministratore del server per fare alcune operazioni, altrimenti stai perdendo tempo. Impostazioni sul server su gitadmin cd cd repository mkdir newrepository.git … Continue reading
Laravel non mi visualizzava i messaggi di errore riscontrati nella validazione di una form. E questo mi ha mandato a spasso per qualche ora tra google e Laracast. Laravel ti consente di fare le cose … Continue reading
Ecco un piccolo stratagemma per fare in modo che l’etichetta del menu di primo livello in WordPress non sia cliccabile. Di solito quando si crea il menu si linkano una serie di pagine o articoli. … Continue reading
Non sempre ci si può connettere al server git remoto originale. In alcuni casi ho avuto la necessità di portare su una macchina temporanea il repository su cui stavo lavorando. La cosa più semplice è … Continue reading
Mi sono imbattuto in StenoLite mentre studiavo qualche post relativo a Plover, è un programma opensource per la stenografia a macchina clone di Plover. StenoLite fa il suo dovere fin dal primo utilizzo, e mi … Continue reading
Mi ero interessato al processo di stenografia diversi anni fa. Ma visti i costi delle testiere Stentura, avevo accantonato l’idea. Sarebbe più corretto parlare di stenotipia, la stenografia è il processo di prendere note mediante … Continue reading
Alcuni piccoli esempi tratti da due plugin usati per mostrare degli scorci di codice nei propri articoli, in modo elegante e semplice. Ti descriverò alcune particolarità di SyntaxHighlighter Evolved e di Crayon Syntax Highlighter. Entrambi … Continue reading
Ritorno sul tema della personalizzazione di wordpress per forzare alcuni stili nel CSS, miglioriamo il codice scritto nel precedente articolo su come personalizzare il css mantenendo il tema responsive Mi ero fermato nel descrivere una … Continue reading
Ecco un piccolo trucco per modificare il colore di qualche elemento in un articolo del tuo blog. Tieni presente che giocare con i colori è altamente sconsigliabile. Generalmente il tema che hai scelto se fatto … Continue reading