Installare Geogebra su Linux

Geogebra è un bel programma di matematica e geometria.

È rilasciato sotto GPL ed è scritto in java, così è multipiattaforma.

Tuttavia non esiste un pacchetto per le distribuzioni, così ecco un metodo universale su linux per farlo.

Purtroppo l’unica versione scaricabile per Linux pesa 40MB perché include anche java, cosa che però noi non useremo. Useremo il java del nostro computer.

Scarichiamo il .tar.gz dalla pagina di download dal sito ufficiale di geogebra, quindi estraiamo i file .jar e la cartella unsigned in /cartella/di/destinazione (cambiatela a vostro piacimento ovviamente).

Apriamo un terminale di root e digitiamo:

cd /usr/local/lib
mkdir geogebra
mv /cartella/di/destinazione/* geogebra/
wget -O geogebra/geogebra.svg http://upload.wikimedia.org/wikipedia/commons/5/57/Geogebra.svg

Sempre da root dobbiamo ora creare due file.

Per farlo usiamo nano. Si usa con nano nome_file per aprire un file. CTRL + O per salvarlo (bisognerà rispondere Y o S se vi chiede se salvare), quindi CTRL+X per uscire.

Modifichiamo il file /usr/local/bin/geogebra e mettiamo il seguente contenuto: … [Leggi il resto]

Installare devkitPPC su Linux

Non riuscivo a installare il devkitPPC che serve a fare gli homebrew ma non so perché così penso che questa mini guida possa tornare utile.

1. Posizionatevi dove volete veramente installare il devkit
2. Digitare in ordine:
    wget -q -O- http://sourceforge.net/projects/devkitpro/files/devkitPPC/devkitPPC_r21-i686-linux.tar.bz2/download | tar -xjvf -
    mkdir libogc
    wget -q -O- http://sourceforge.net/projects/devkitpro/files/libogc/libogc-1.8.3.tar.bz2/download | tar -C libogc/ -xjvf -
    wget -q -O- http://sourceforge.net/projects/devkitpro/files/libfat/libfat-ogc-1.0.7.tar.bz2/download | tar -xjvf - -C libogc/
    mkdir -p examples/wii examples/gamecube
    wget -q -O- http://sourceforge.net/projects/devkitpro/files/examples/wii/wii-examples-20091124.tar.bz2/download | tar -C examples/wii -xjvf -
    wget -q -O- http://sourceforge.net/projects/devkitpro/files/examples/gamecube/gamecube-examples-20091212.tar.bz2/download | tar -C examples/gamecube -xjvf -
3. Ora scrivete (se usate questo toolkit spesso però aggiungetelo al file .bashrc!):
    export DEVKITPRO=/opt/devkitpro # Dove avete installato insomma...
    export DEVKITPPC=$DEVKITPRO/devkitPPC

Non si sa perché ma a me non andava.

Forse mi dimenticavo di mettere libogc, comunque ora funziona…

Parte II muletto: pre, post e durante installazione

Una volta che ci siamo assicurati di avere l’hardware occorrente, dobbiamo installare il S.O.

Attenzione: non fate copia e incolla della configurazione o dei comandi, potrebbero esserci degli errori.

Disclaimer: non mi ritengo responsabile di eventuali danni causati da questa guida

Nota bene: questa guida è per sistemi GNU Linux. Alcuni comandi non possono essere fatti su Windows, ma su sistema come mac, *bsd e POSIX in generale sì, perciò ti consiglio di procurarti una distro Linux.

Ho scelto Debian Lenny perché è stabile, leggera e adatta a ogni tipo di uso.

Ecco i punti di forza di Debian:

  • Ha tre versioni con diverse stabilità
  • Ha una comodissima netinstall che pesa 150~ MB
  • È leggera
  • Ha un versatile gestore di pacchetti
  • Supporta molte architetture, così è possibile installarla anche su hardware “alternativo” come consolle per videogiochi o HD di rete o hardware tipo NAS

In questa guida verrà analizzato come installare Debian da CD, tuttavia ho scritto anche un articolo su come [iurl:post:entry100429-191832 title=”Installare Debian con debootstrap”]installare Debian con debootstrap. … [Leggi il resto]