Di recente ho scoperto PhpMathPublisher. La descrizione fornita dall’autore è calzante: “Web publishing system for mathematical documents“. Quando sul web si vogliono scrivere formule matematiche utilizzando per esempio il linguaggio LaTeX, è in genere necessario che nella macchina ospitante il sito sia installata una qualche applicazione LaTeX. Ma per chi risiede su hosting free questo diventa un problema serio, per non dire impossibile. La soluzione è PhpMathPublisher con l’ausilio di uno script php. Infatti per prima cosa scaricate l’ultima versione di PhpMathPublisher. In seguito, dopo averne estratto il contenuto, ponete all’interno anche questo script di nome imgmath.php.

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

// imgmath.php
// version 0.1
include('mathpublisher.php');
$size = 12;
if(!$_SERVER['QUERY_STRING']) die('');
$text = str_replace('+', '%2B', $_SERVER['QUERY_STRING']);
$text = urldecode($text);
$text = preg_replace('/<!--.*(-->){0,1}/', '', $text);
$formula = new expression_math(tableau_expression(trim($text)));
$formula->dessine($size);
$path = 'img/' . (1000-imagesy($formula->image)+$formula->base_verticale+3) . md5($text).'.png';
if(!file_exists($path)) ImagePNG($formula->image, $path) or die('');
header('Content-type: image/png');
readfile($path);
?>

Con la variabile $size = 12 potete decidere la dimensione del carattere della formula matematica finale.

Adesso se provate a collegarvi all’indirizzo:

http://vostrositoweb/phpmathpublisher/imgmath.php?formula_matematica

vi apparirà sotto forma di immagine la formula matematica.

Facciamo alcuni esempi:

http://vostrositoweb/phpmathpublisher/imgmath.php?2^3/x*sqrt{4}

…oppure qualcosa di più complesso:

http://vostrositoweb/phpmathpublisher/imgmath.php?pi=sum{n=0}{+infty}{{(n!)^2 2^{n+1}}/{(2n+1)!}}

Per una lista di comandi vi rimando a questo sito.

Integrazione in phpBB3
E’ possibile integrare questa funzionalità nei BBCode di phpBB3. Basta andare nel Pannello di amministrazione, Contenuti, e quindi BBCode. Dopo aver cliccato su Aggiungi nuovo BBCode, alla voce “Uso del BBcode” aggiungete:

[eq]{TEXT}[/eq]

Su “Trasforma in HTML”:

<img src='http://vostrositoweb/phpmathpublisher/imgmath.php?{TEXT}' />

Su “Aiuto in linea”:

Formula matematica: [eq]formula[/eq]

(Quest’ultimo è un passaggio opzionale).

PS: Non mi assumo nessuna responsabilità del malfunzionamento dello script. Siete liberi di modificarlo e ridistribuirlo a vostro piacimento, l’importante è che me lo fate sapere lasciando un commento o contattandomi.

Questo script è utile per installare Hamachi, il famoso programma per creare vpn a costo zero fino a 16 utenti. Al termine lo script si autoelimina. Per installarlo basta eseguire questi comandi nel terminale:

1
2
3
4

cd ~
wget -c http://garret.netsons.org/files/scripts/ubuntu/hamachi
chmod +x hamachi
./hamachi

PS: Non mi assumo nessuna responsabilità del malfunzionamento dello script. Siete liberi di modificarlo e ridistribuirlo a vostro piacimento, l’importante è che me lo fate sapere lasciando un commento o contattandomi.

Installazione
Ho creato un piccolo script che esegue in automatico tutti i passaggi per installare il gioco Urban Terror.

Per prima cosa bisogna aver scaricato il gioco in formato .zip (quindi il mio script non scarica il gioco, ma dovete averlo già fatto voi). La versione 4.1 del gioco pesa circa 719mb. In ogni caso per scaricarlo basta dare questo comando:

1

wget -c http://files.uaaportal.com/gamefiles/current-version/UrbanTerror_41_FULL.zip

Una volta terminato il download date questi comandi:

1
2
3
4

cd ~
wget -c http://garret.netsons.org/files/scripts/ubuntu/urban
chmod +x urban
./urban

Questo script installa anche alcuni programmi utili come Mumble e XQF. Il primo è una versione open-source (secondo me migliore) di Teamspeak; il secondo è un cosiddetto game server browser, una sorta di The All-Seeing Eye per Gnu-Linux.

E’ possibile lanciare il gioco attraverso il comando da terminale:

1

~/.urbanterror/ioUrbanTerror.i386

PS: Non mi assumo nessuna responsabilità del malfunzionamento dello script. Siete liberi di modificarlo e ridistribuirlo a vostro piacimento, l’importante è che me lo fate sapere lasciando un commento o contattandomi.

Versione aggiornata del mio script per Ubuntu Intrepid Ibex. Come al solito consiglio di eseguire lo script subito dopo aver completato la prima installazione di Ubuntu dando i seguenti comandi:

1
2
3
4

cd ~
wget -c http://garret.netsons.org/files/scripts/intrepid/garret
chmod +x garret
./garret

Per info più precise vi rimando alla pagina del vecchio script. In questa versione ho eliminato l’installazione dei programmi hamachi e acetoneiso2, e di temi aggiuntivi come l’Atari usplash. Per vedere il sources.list modificato cliccate qui.

PS: Non mi assumo nessuna responsabilità del malfunzionamento dello script. Siete liberi di modificarlo e ridistribuirlo a vostro piacimento, l’importante è che me lo fate sapere lasciando un commento o contattandomi.

Scheda Wireless
Installiamo i relativi driver:

1

sudo pacman -S iwlwifi-4965-ucode

Bisogna assicurarsi di aver aggiunto tra i moduli nell’rc.conf “iwl4965″.

Scheda Video
Consiglio di installare i driver proprietari:

1
2

sudo pacman -S nvidia
sudo nvidia-xconfig

Vedere più avanti per lo xorg.

Webcam
Installate Yaourt e seguite questi comandi:

1
2

sudo yaourt -S r5u870-fw
sudo yaourt -S r5u870

Se non lo avete fatto dovete aggiungere il vostro user al gruppo “video”:

1

sudo gpasswd -a NOMEUTENTE video

Per provare la Webcam potete usare VLC, Skype o Cheese.

Audio
Installate ALSA:

1

sudo pacman -S alsa-utils

Aggiungete il demone “alsa” nel vostro /etc/rc.conf .
Aggiungete al vostro /etc/modprobe.conf la seguente riga:

1

options snd-hda-intel model=vaio

Touchpad
C’è una descrizione molto dettagliata nel wiki in inglese che parla di questo tipo di touchapd (Synaptics).
Quindi per prima cosa bisogna installare i driver:

1

sudo pacman -S synaptics

E poi bisogna modificare lo /etc/xorg.conf con le opportune modifiche. Una volta installato il driver tramite pacman, sempre quest’ultimo vi suggerisce una possibile configurazione da inserire nello xorg. Peccato che sia veramente pessima in quanto non prevede il doppio clic e la velocità di movimento è davvero lentissima. Per questo consiglio di vedere il mio xorg per farsi un’idea.

Bluetooth
Installiamo tutto il necessario:

1

sudo pacman -S bluez-utils

Dopo bisogna aggiungere il demone “bluetooth” nell’rc.conf.
Altri programmi che possono tornare utili sono:

1

sudo pacman -S gnome-bluetooth gnome-obex-server

Conclusioni
Tutte le altre periferiche che non ho menzionato funzionano perfettamente senza bisogno di installare driver e/o firmware. Se usate Gnome e vi interessano i tasti multimediali, dovete andare in Sistema -> Preferenze -> Scorciatoie da tastiera e configurarvi i tasti uno per uno. Importante è avere “hal” tra i demoni nell’rc.conf . Un altro suggerimento è quello di modificare la linea del kernel di archlinux nel /boot/grub/menu.lst . Infatti consiglio di aggiungere ciò per migliorare la risoluzione su schermo a primo avvio e usare solo acpi.

1

apm=off acpi=on vga=865

Ovviamente il supporto per ACPI è necesssario per usare alcune funzioni speciali sul notebook (e.g. sleep, sleep quando il coperchio è chiuso, tasti speciali…). Quindi installate acpid dando:

1

sudo pacman -S acpid

Infine aggiungerlo ai demoni in /etc/rc.conf (acpid).

Vi allego le copie del mio rc.conf e xorg.conf se magari a qualcuno possono far comodi:

• /etc/rc.conf
• /etc/X11/xorg.conf

Questo programma è sicuramente un pò meno intuitivo di Rapget, però ha sicuramente molte più funzioni. E’ scritto in java e quindi è multipiattaforma. Dopo averlo scaricato posizionamo il file nella nostra Home.

1
2
3
4
5
6
7

sudo apt-get install unzip openjdk-6-jre
cd ~
mkdir ~/.jdownloader/
unzip JDownloader_2008-07-23_12-48_v1.947.zip
mv ~/bin/* ~/.jdownloader/
rm -r ~/bin/
rm JDownloader_2008-07-23_12-48_v1.947.zip

In questo modo abbiamo spostato il programma in una cartella nascosta. Per aprirlo date:

1

java -Xmx512m -jar ~/.jdownloader/JDownloader.jar

Il programma si aggiorna da solo ed ogni volta richiede un riavvio. JDownloader ha anche un sistema di plugins che estendono le funzionalità del programma. Il meccanismo di funzionamento alla base è lo stesso di Rapget: si aggiungono una serie di links e poi si avvia il programma al download, al resto ci pensa lui.

Rapget

Questo programma nasce per Windows ma può essere eseguito su gnu-linux tramite wine e vi posso garantire che funziona impeccabilmente senza nessun errore. L’unica scocciatura possono essere le notifiche che appaiono sullo schermo quando per esempio aggiungiamo un download oppure quando quest’ultimo viene terminato. Una volta scaricato per scompattarlo abbiamo bisogno di unrar. Consiglio di copiare la cartella del programma e di renderla nascosta.

Quindi assumendo che lo abbiate scaricato(al momento in cui scrivo esiste la versione 1.41)  e posto il file nella vostra Home date:

1
2
3
4
5
6
7
8

sudo apt-get install unrar wine
cd ~
mkdir ~/.rapget/
mv rapget141.rar ~/.rapget/
cd ~/.rapget/
unrar e rapget141.rar
rm rapget141.rar
cd ~

Per eseguirlo basta dare:

1

wine ~/.rapget/rapget.exe

Il programma è molto intuitivo e aspetta solo che voi aggiungiate i vari links e premiate il tasto “Play“.

Conclusioni

Quale dei due programmi consiglio? Sicuramente JDownloader. Entrambi hanno un ottimo sistema di controllo remoto via web, però in quanto a funzionalità JDownloader batte nettamente Rapget. Di JDownloader trovo molto utile anche la funzionalità di riunire i files in un unico file automaticamente(HJSplit) e anche lo scompattamento automatico di archivi.

1
2

cd ~
cd nomecartella/

Adesso per “joinare” i files ci serviremo del comando cat:

1

cat file.00* > file.estensione

L’asterisco  è necessario per non dover ripetere prima del segno “>” tutti i nomi dei files splittati(sarebbe una vera noia). Ovviamente una volta terminata la ricucitura i files con estensione .00X possono essere rimossi.

In particolare questo script…

• Scarica e aggiunge le chiavi GPG di repositories non ufficiali.
• Sostituisce il sources.list originale con uno modificato da me contenente repositories non ufficiali. Ovviamente il sources.list originale viene anche conservato.
• Installa pacchetti (secondo me) necessari.
• Scarica alcuni fonts presenti sul MacOs e Windows.
• Installa il programma Hamachi e la relativa gui.
• Installa il programma AcetoneISO.
• Setta in grassetto l’orario.
• Modifica alcune impostazioni di Gnome, Nautilus, Gedit e Gnome-Terminal.
• Scarica le barre da sostituire al pannello in stile MacOs(~/.bars/).
• Scarica sfondi aggiuntivi(~/.walls/).
• Scarica l’usplash Atari-Linux.(~/.usplash/)
• Scarica lo script Pidgin-minimized creato da me.
• Configura LM-Sensors.
• Scarica il tema Royal di Windows XP per le finestre di Wine.

Per far partire il programma consiglio di munirsi di una buona e stabile connessione. Ad ogni domanda del programma bisogna rispondere sempre “Si” o “Yes” a secondo dei casi. Vi sarà chiesto all’inizio di inserire la password di root. Il processo potrebbe durare anche molto tempo(dipende dalla velocità della vostra connessione).

1
2
3
4

cd ~
wget http://garret.netsons.org/files/scripts/hardy/garret
chmod +x garret
./garret

Dalla versione 0.4 il programma è stato reso più “automatico” rispondendo per voi ad alcune domande ed autoeliminandosi una volta terminato .

PS: Non mi assumo nessuna responsabilità del malfunzionamento dello script. Siete liberi di modificarlo e ridistribuirlo a vostro piacimento, l’importante è che me lo fate sapere lasciando un commento.

1
2
3
4

cd ~
wget http://garret.netsons.org/files/sources/hardy/sources.list
sudo mv /etc/apt/sources.list /etc/apt/sources-backup.list
sudo mv ~/sources.list /etc/apt/

Prima però di procedere ad aggiornare la lista consiglio di aggiungere le chiavi. Prima di ogni stringa deb ho scritto quali comandi dare. Non tutti i repositories hanno una chiave. Una volta terminata l’aggiunta per aggiornae la lista dei pacchetti scrivete:

1

sudo apt-get update

Può capitare che qualche repository sia irragiungibile in quel momento e quindi ricevere una notifica di errore oppure di una chiave mancante.

Se volete invece ripristinare il vostro vecchio sources.list date:

1

sudo mv /etc/apt/sources-backup.list /etc/apt/sources.list

PS: Non mi assumo nessuna responsabilità del malfunzionamento dell’operazione.

Vi starete chiedendo com’è possibile vedere i vostri contatti di msn, yahoo, icq e aim su gtalk come se fossero dei normali contatti del client di google? Ma soprattutto(anche se fosse vero…) perchè dovrei farlo?

Piccola precisazione: lungo la guida quando parlerò di “gtalk” mi riferiò al protocollo(anche se si basa su jabber) e non al programma/client.

Sono stato spinto a scrivere questa guida più che altro per quelle persone che come me si spostano di frequente da un computer all’altro(per es. dal fisso al portatile, etc..) per vari motivi e quindi hanno bisogno di “mobilità”.

Da un pò di tempo sto cercando di ‘trasferirmi’ sempre più verso applicazioni web come gmail, google reader, irc-chat in java preimpostate, proprio per rendere indolori ogni volta i passaggi da una postazione all’altra(ed evitare noiosissime e lunghissime riconfigurazioni).

Un’applicazione molto interessante che è stata recentemente sviluppata da Google è l’applet in flash che permette di chattare con i contatti di GTalk tramite browser. Gtalk essendo basato su jabber permette di sfruttarne a pieno le sue funzionalità: una di queste è quella di poter usare dei ‘bot‘ messi a disposizione da alcuni servers pubblici di jabber per trasferire(anche se il termine esatto è “Transport“) i contatti dai vari im.

Per fare tutte le varie operazioni consiglio di munirci di Gajim, che è un client jabber multipiattaforma(sviluppato con le gtk+). Dopo averlo scaricato impostiamolo per usare GTalk. Adesso clicchiamo col tasto destro del mouse sul nome dell’account visibile nella finestra principale(per la prima volta dovrebbe auto-chiamarsi “gmail.com“) e andiamo nella voce “Ricerca servizi…”. Ora in genere io consiglio per ogni protocollo che vogliamo di importare un server specifico(credetemi ne ho provato tanti, infatti come potete vedere ne esistono una centinaia). Qui di seguito quelli che uso io:

• MSN: jabber.belnet.be
• ICQ: jabber.linux.it
• YAHOO: jabber.belnet.be
• AIM:  jabber.belnet.be
• XFire: xfiretest.sphene.net (in alpha test)

In teoria sarebbe possibile anche impostare altri accounts di altri im(vedi gadu-gadu,..) e anche canali di server irc, ma la questione si complica un pochino e in ogni caso non mi sono addentrato nella discussione.

Dopo aver scelto il relativo server(scrivendo il nome del server nella ‘barra degli indirizzi‘ della finestra di “Ricerca Servizi…”) registriamoci al servizio semplicemente cliccando sull’icona del relativo im(vi verranno chiesti user e password che usate per collegarvi) e poi cliccando in basso su “Registra”. Immediatamente dopo vi arriverà un messaggio di conferma e per ogni contatto che si autoimporterà vi arriverà un messaggio di “Accetta/Rifiuta”. Purtroppo se avete molti contatti l’operazione può divenire molto frustrante. Insomma alla fine vi ritroverete tutti i vostri contatti dei vari im importati su gtalk, ma anche un nuovo contatto per ogni im inserito: questo non è altro che il contatto del bot che vi tornerà utile cliccandoci sopra col tasto destro per esempio per scollegarci dal bot(e quindi andare offline per es. solo su msn e lasciarci online sugli altri protocolli). Per scollegare il bot basta cliccarci col tasto destro del mouse e scegliere la voce “Disconnetti”(quindi “Connetti” per ricollegarsi”).

Ho eseguito alcuni test per vedere l’efficienza dei vari bots. Per esempio ho misurato il tempo di risposta di quanto ci vuole prima che arrivi un messaggio mandato da un altro contatto(per esempio di msn) e viceversa; oppure se quando un contatto si scollega o collega a noi ci appare in tempo reale. Bene tutti questi test si sono rivelati positivi: i tempi sono quasi reali(pochi millesimi di secondo, impercettibili più che altro). Ma mettiamo il caso che ho un amico che vuole aggiungermi su msn, che succede? Nulla da preoccuparsi, infatti riceveremo una normale richiesta di aggiunta come avviene proprio su msn(e negli altri im). Anche per aggiungere non ci sono problemi: in questo caso dovremmo usare però una particolare sintassi. Se volessimo aggiungere per es. questo contatto(fittizio) “ciao@comestai.com” allora dobbiamo aggiungere a gtalk questo contatto(se come nel mio caso usiamo il server ‘jabber.belnet.be‘) “ciao%comestai.com@msn.jabber.belnet.be” (senza le virgolette). Una nota negativa spetta al fatto che non è ancora possibile mandare files molto grossi verso accounts msn.

Dopo tutto questo macello molti di voi potrebbero chiedersi: ma usare meebo no? A queste persone rispondo con vari motivi:

1. Innazitutto con il metodo jabber/gtalk si usa un solo account e si controlla tutto.
2. Jabber ha la comodità che rinominando i contatti questi rimangono memorizzati a livello di server[e non di clients come avviene negli altri protocolli(vedi msn..)]: ciò è molto comodo perchè così se ci si logga da un’altra parte si evita ogni volta di doversi ricordare a chi corrisponde quel contatto e a chi quell’altro.
3. Il protocollo jabber essendo opensource è molto prolifico dal punto di vista di clients.
4. Sempre jabber ha una caratteristica davvero unica(che ho scoperto per caso..): è possibile loggarsi con più clients senza che ogni volta si venga disconnessi. Mi spiego meglio: mettiamo che a casa vostra usiate gajim per connettervi al vostro accoun di gtalk e vi trovate in ufficio, o a scuola, etc.. e vi connettete sempre al vostro account usando per es. o l’applet java fornita da google o meebo. Non accadrà(come avviene invece con tutti gli altri im) che a casa sarete disconessi e potrete collegarvi solo dalla nuova postazione, infatti per jabber possono collegarsi quante persone vogliono ad uno stesso account. Anzi per ogni login nuovo sulla nostra lista contatti spunterà il nostro contatto. Potremmo quindi per es. chattare da casa nostra alla nostra nuova postazione creando una sorte di ponte.
5. Ricordo anche che è possibile aggiungere altri accounts jabber che non siano necessariamente gmail.com(questa è una precisazione più che altro).
6. Tutte le conversazioni vengono salvate sulla vostra casella di gmail(anche quelle avvenute tra contatti degli altri protocolli) e quindi sono accessibili ovunque. Basta andare nella sezione “Chat” del menù a sinistra di GMail(poco sotto la voce “Posta in arrivo”).
7. Potete chattare anche direttamente dalla pagina web di GMail.
8. Infine, riprendendo il discorso dell’applet flash di gtalk potremmo usare questa per metterla a fianco nel nostro browser ottenendo un risultato del genere(in questo caso Mozilla Firefox):

e avere sempre a portata di mano, anche se siamo su altri computers, tutti i nostri contatti. Per ottenere un risultato del genere basta aggiungere a Mozilla Firefox il seguente segnalibro:

http://talkgadget.google.com/talkgadget/client

Adesso andate nelle proprietà del segnalibro e attivate l’opzione “Carica questo segnalibro nella barra laterale“. Oppure più semplicemente potete dare un’occhiata a queste due estensioni: gTalk Sidebar e iGtalk.