Installation de Xcas sur un Asus EEE PC
Cette page décrit l'installation de Xcas sur un Asus EEE PC. Pour 200
euros (modèle 700SD) à 300 euros (modèle 900A),
vous disposerez (en plus des fonctions classiques
d'un PC) d'une calculatrice graphique formelle beaucoup plus puissante
que les modèles (TI, HP, Casio).
Le plus simple est d'installer le package debian,
vous pouvez aussi installer l'archive xcas_root.tgz.
Installation du package debian
- Si vous avez accès au réseau sur l'eee pc, ouvrez cette page sur
l'asus (Internet->Web puis chercher xcas asus sur google), puis cliquez
ici,
le gestionnaire de téléchargement vous propose de lancer l'installeur
de logiciels, acceptez. Il faut alors patienter un long moment pendant
que ce gestionnaire teste la compatibilité, puis il vous propose
d'installer, vous devrez alors indiquer /usr/bin/xcas comme lanceur,
il suffit ensuite de choisir un emplacement (par exemple Travailler ou
Apprendre->Maths),
pour que le gestionnaire crée une icone permettant de lancer Xcas.
Attention, xcas fait des sauvegardes automatiques dans le
répertoire de lancement, ce qui n'est pas possible sur
/. Il peut donc etre utile de lancer Xcas depuis un
Terminal en spécifiant ce répertoire comme /tmp
pour éviter d'user le SSD, on tape Ctrl-Alt-T puis
export XCAS_AUTOSAVE_FOLDER=/tmp && xcas &
-
Si vous n'avez pas accès au réseau sur l'eee pc, il faut
télécharger le package debian
ici,
et le stocker sur une clef USB ou
une carte SD. Ensuite on insère la carte ou clef dans l'eee pc (le
gestionnaire de fichiers s'ouvre).
-
Sur les asus recents,
aller dans Reglages et lancer le
gestionnaire de logiciels, puis selectionnez par exemple Travailler
ou Apprendre puis Maths, puis Installer a partir du fichier,
puis Ajouter, puis
selectionner Fichiers de type *deb (Modules debian),
on double-clique sur l'icone de la clef USB ou de la carte SD
puis sur le package debian giac,
indiquer enfin /usr/bin/xcas comme lanceur.
-
Sur les asus plus anciens, enfoncez le bouton droit de la souris
sur le package debian de la carte dans le gestionnaire des fichiers
et selectionner Installer le package debian puis relachez le bouton
droit. Vous devrez lancer Xcas
depuis un Terminal: Ctrl-Alt-T puis
export XCAS_AUTOSAVE_FOLDER=/tmp && xcas &
Installations complementaires utiles
- Pour avoir acces au reseau via vpnc,
récupérer le fichier
vpnc_ujf_asus.tgz et le
désarchiver depuis le répertoire /.
Il vous faudra modifier les fichiers
/etc/vpnc/ujf.conf et /etc/apt/apt.conf pour
correspondre à votre réseau.
-
Pour ameliorer le bureau et avoir acces facilement a un terminal et a Xcas,
telechargez
icewm.tgz dans le répertoire
/home/user, puis tapez la commande
cd && tar xvfz icewm.tgz
-
Pour avoir l'auto-repeat des touches, il faut taper la commande
xset r
Pour rendre le changement automatique, creez un fichier
.bashrc dans /home/user et entrez les 2 lignes
#! /bin/bash
xset r
-
Ensuite une commande du
style
sudo apt-get update
sudo apt-get install ssh emacs r-base xdvi tetex-extra tetex-doc
gv gcc g++ gdb flex bison
make autoconf automake xpdf
devrait vous installer quelques logiciels utiles pour les
mathématiques et le developpement.
- Pour en savoir plus, cf. par exemple
ce wiki.
Retour a la page de Giac/Xcas
Installation de l'archive xcas_root.tgz
- Si vous avez accès au réseau sur l'eee pc,
-
Téléchargez xcas_root et
sauvegardez-le par exemple dans le répertoire
/home/user.
-
Tapez simultanément sur les touches Ctrl-Alt-T. Un terminal Unix
devrait s'ouvrir.
- Tapez les commandes
cd /
sudo tar xvfz /home/user/xcas_root.tgz
- Si vous n'avez accès au réseau sur l'eee pc
-
Téléchargez xcas_root et stockez-le sur une
clef USB ou une carte SD.
-
Placez la clef ou la carte dans le lecteur de l'asus. Elle doit s'ouvrir
dans le gestionnaire de fichiers.
-
Tapez simultanément sur les touches Ctrl-Alt-T. Un terminal Unix
devrait s'ouvrir.
-
Tapez la commande
mount
Vous verrez apparaitre une ligne contenant le chemin d'accès de la clef,
par exemple /dev/sdc1 on /media/D: type ...
-
Tapez les commandes
cd /
sudo tar xvfz /media/D\:/xcas_root.tgz
en remplaçant si nécessaire
/media/D\: par le chemin de votre support USB ou SD.
Xcas est maintenant installé, vous pouvez le lancer depuis le
terminal en tapant la commande
xcas &
Il est conseillé d'ajouter une icone pour lancer facilement Xcas, voir
plus bas, et de changer de repertoire de sauvegarde automatique pour
ne pas user le SSD:
export XCAS_AUTOSAVE_FOLDER=/tmp && xcas &
Créer une icone pour lancer Xcas facilement
Nous allons maintenant créer une icone pour lancer Xcas en un click.
-
Ouvrez si nécessaire un terminal (Ctrl Alt T)
- Si vous avez accès au réseau, chargez
le fichier icewm.tgz dans le répertoire
/home/user, puis tapez la commande
cd && tar xvfz icewm.tgz
C'est fait.
- Sinon, tapez les commandes:
cd
mkdir .icewm
cp /etc/X11/icewm/* .icewm
cd .icewm
kwrite toolbar
Ajoutez en fin de fichier la ligne suivante
prog Xcas xcas xcasnew
puis sauvegardez le fichier (menu Fichier->sauvegarder de kwrite).
-
A la prochaine connexion, une zone texte Xcas apparaitra en bas à
gauche, il suffit de cliquer dessus pour lancer Xcas.
Vous pouvez appuyer simultanément sur Ctrl-Alt-Backspace pour forcer
la reconnexion immédiatement si vous n'avez pas d'autres applications
ouvertes.
Retour a la page de Giac/Xcas