[ITA] Gli eventi onMouseEnter & onMouseLeave su tutti i browser

Utilizzare gli eventi onMouseEnter & onMouseLeave non solo su Internet Explorer non sarà più un problema! Basta una funzioncina javascript e prototype. function extendMouseEvents(e) { var elem = e.element(); var target = e.relatedTarget; var p = stop = null; if (!target || (elem !== target && !target.descendantOf(elem))) { if (target && elem.descendantOf(target)) stop = target.childElements(); else if (target) { p…

[ITA] Rimuovere le entità HTML (unhtmlentities)

Ecco un modo veloce per rimuovere tutte le entità html da una stringa: function unhtmlentities($string) { $string = preg_replace('~&#x([0-9a-f]+);~ei', 'chr(hexdec("\\1"))', $string); $string = preg_replace('~&#([0-9]+);~e', 'chr("\\1")', $string); $trans_tbl = get_html_translation_table(HTML_ENTITIES); $trans_tbl = array_flip($trans_tbl); return strtr($string, $trans_tbl);} questa funzione sostituisce sia le entità numeriche che quelle testuali.…

[ITA] L’history di linux è troppo corta? Allungala!

Come aumentare la lista dei comandi eseguiti nella shell è un’operazione rapida e indolore, basta aggiungere 2 righe al vostro file ~/.bashrc. export HISTSIZE=9999export HISTFILESIZE=999999 Il valore di HISTSIZE determina il numero di comandi da salvare nell’history. Una volta che uscite dalla sessione in cui state lavorando i comandi più utilizzati verranno salvati nel file specificato nella variabile HISTFILE (il default è ~/.bash_history).Il valore di HISTFILESIZE determina…