La SVTuxBOX v5.0 est disponible ! (spécifique RPi2)
    La SVTuxBOX est un moyen simple en classe et/ou en sortie pour partager des documents, un site internet, ... Voici comment en image dans ce document. Ainsi la SVTuxBOX crée un réseau Wifi autonome (permettant de manière facultative la connexionà Internet. Pour l'installer et la configurer, deux options s'offrent à vous :
    1. Pour les débutants :
      1. télécharger et graver l'image sur la carte micro-SD (8Go minimum), via "dd" pour les linuxiens, avec l'utilitaire Win32DiskImager, si vous utilisez Windows.
      2. assembler le RPi, brancher le dongle "WiPi",
      3. brancher l'alimentation.
      4. se connecter au wifi "SVTux" (ouvert) puis se rendre à l'adresse suivante : https://192.168.42.1
      5. le certificat est autosigné, une validation manuelle est nécessaire à la première connexion.
      6. Enjoy !!
    2. Pour les experts : la configuration détaillée est disponible dans le fichier config.txt à la racine du serveur web de la SVTuxBOX.
La version 5.0.0 embarque de nombreuses nouveautés, optimisations, simplifications... dont :
  • ownCloud 8.0.3 prêt à l'emploi
  • Spip 3.0.19 prêt à l'emploi
  • Webmin pour administrer depuis le navigateur
  • Minetest Server (ainsi que le client dédié) à démarrer sur demande (fork libre de Minecraft écrit en java)
  • Durcissement de la sécurité (https, HIPS...)
Malgré mes essais en conditions réelles, je ne peux vous garantir l'absence de bugs : mais n'hésitez pas à m'en faire part !


Anciennes versions, spécifique RPi B et B+
    • SVTuxBOX v4.2 (15/12/2014) pour carte SD de 32Go
    • SVTuxBOX v4.0 (23/09/2014) pour carte SD de 4Go ou plus (une màj vers 4.0.1 est prévue).


  • Le principe de la SVTux-BOX :

    Il s'agit de créer son propre réseau local (donc sans connexion internet nécessaire !) en mettant en place ce qu'on appelle un « hotspot wifi » associer à un « serveur Web ». Dans le cas précis de la SVTuxBOX, il s'agit de créer un réseau local personnel intégrant un « cloud » privé (grâce à ownCloud) et pouvant héberger localement un (ou plusieurs) site(s) internet qui y seront déposés.

    La SVTuxBOX est donc un ordinateur faisant office de routeur Wifi et de serveur Web, permettant le stockage, le visionnage, le partage, le téléchargement, ... et le travail collaboratif, à la manière des outils Google/Dropbox.

    La SVTuxBOX étant basée sur le Raspberry Pi, ses dimensions sont ridicules : 10cm x 6cm x 2,5cm tel que présenté sur la photographie à droite ! De plus, son coût total, assemblée soit-même est d'environ 80€ (peut-être moins en fouillant bien sur le web !).


  • Pistes d'exploitations pédagogiques :
(1) Créer un réseau privé local afin de communiquer, en classe ou hors de la classe !
(2) Toutes les applications classiques dédiées à Owncloud : stockage, partage, synchronisation de dossiers/fichiers, échanges de données de toute sorte !
(3) Toutes les applications classiques dédiées aux serveurs web (Serveur LAMP) : hébergement d'un site internet et d'applications en ligne...
(4) Partage de connexion internet ! (à volonté, en fonction des besoins, comme un simple routeur !)
(5) Travail collaboratif sur un document texte, tableur... (via Owncloud !)
(6) Jeux sérieux en réseau via Minetest...
[...]


  • Matériel nécessaire à la construction d'une SVTux-BOX
      • Un Raspberry Pi 2
      • Une carte micro SD (ici une SanDisk Ultra 8 Go, classe 10)
      • Un dongle Wi-Pi (modèle adapté au Raspberry)
      • Une alimentation micro-usb (5V - 1,2A minimum )
      • Facultatif : un disque dur externe ou une clé USB pour étendre la capacité de stockage.
      • Facultatif : une batterie externe (pour rendre portable et autonome la SVTuxBOX pendant toute une journée !)
      • ... et quelques compétences informatiques !
      • Le coût ? Environ 80€ (sans batterie externe).



Démarrer le système pour la première fois et s'y connecter via SSH

Premier démarrage :

    • Brancher-le puis patienter environ 45sec à 1min.
    • S'y connecter via Wifi.
    • La première connexion se fait via un terminal (depuis Gnu/Linux) ou via Putty (depuis Windows), en tapant la commende suivante : ~$ ssh pi@192.168.42.1
    • Par défaut sur une installation neuve, l'utilisateur est « pi » et le mot de passe « raspberry » (il sera essentiel de le changer rapidement par la suite !)
         
Mise à jour :
Une fois l'image installée sur la carte micro SD, penser à régulièrement vérifier l'état des mise à jour en faisant les commandes suivantes :
    • ~$ sudo apt-get update
    • ~$ sudo apt-get upgrade
    • ~$ sudo apt-get dist-upgrade
    • ~$ sudo rpi-update

Connaître la température du processeur :

~$ sudo /opt/vc/bin/vcgencmd measure_temp

Chez moi, avec un « Raspberry Pi B », elle oscille entre 40°C et 50°C dans un boitier noir "classique"


  • Ajouter un disque externe : /!\ Formater le disque en EXT3 (phase indispensable pour gérer les droits en écriture correctement).

                    Puis, identifier l'UUID de votre disque : ~$ sudo fdisk -l puis ~$ sudo ls -l /dev/disk/by-uuid/

Créez un « lecteur permanent » dans le dossier “media” : ~$ sudo mkdir -p /media/"mon_disq"

On peut maintenant configurer le fichier /etc/fstab pour y ajouter la ligne qui correspondra au montage de notre disque dur : ~$ sudo nano /etc/fstab

Et ajoutez la ligne suivante à la fin :

UUID=votre_UUID    /storage/mon_disq    ext3    defaults    0    2

Vous pouvez maintenant monter manuellement votre disque en faisant la commande] : ~$ sudo mount /dev/sdb1

(si nécessaire, changez les droits sur ce disque : ~$ sudo chmod -R 755 /media/"nom_de_votre_disq" )

Attendez quelques secondes le temps que le RPi détecte le disque dur et voilà, c'est prêt ! Il ne vous restera plus qu'à indiquer l'adresse de votre disque à la première ouverture de la page d'accueil d'Owncloud.


  • Comment éteindre le Raspberry Pi ?

    Depuis la version 4.1, il est possible de débrancher brutalement la SVTuxBOX sans risquer la perte de données ou le crash de la base de donnée ;-)

    Lorsque comme ici, on utilise le Raspberry 100% via SSH, on n'accède pas à l'interface graphique du système et l'option « éteindre l'ordinateur » n'est pas directement visible. Par conséquent, plutôt que de débrancher brutalement la SVTux-BOX, je vous recommande de taper la commande suivante :

~$ sudo shutdown -h now ou ~$ sudo halt

Vous pouvez ensuite débrancher le Raspberry pi.

Pour redémarrer la SVTux-BOX : ~$ sudo shutdown -r now ou ~$ sudo reboot

Vous pouvez également éteindre proprement le RPi2 depuis l'interface Webmin (https://192.168.42.1:10000).

Le client ownCloud :

    Désormais, votre espace Cloud est accesible uniquement via https dans votre navigateur ! Il peut être intéressant d'installer un client de synchronisation. Pour cela, rien de plus simple : rendez-vous sur le site officiel d'ownCloud, puis suivez la procédure d'installation !

Pour en savoir plus sur le Raspberry Pi...