Linux scuola con Raspbian - omartek/linux_variePerLaboratorio GitHub Wiki

Table of Contents Raspbian-Debian: installazione su PC single core Installazione software aggiuntivo da shell Installazione software da scaricare Ridurre swappiness Cambio sfondo desktop automatico Autologin utente Configurazione scheda di rete Creazione utente e modifica shell Limitazioni utente IP fallback (utile per collegarsi a Raspberry direttamente via cavo ethernet) Impostare indirizzo IP di fallback Installare backports per Libreoffice 6

Download dell'ultima immagine disponibile qui.

 sudo apt-get update
 sudo apt-get install tuxpaint tuxmath tuxtype childsplay gcompris pinta mypaint tupi atomix gbrainy laby quadrapassel
 sudo apt-get install kolourpaint4 kalgebra kalzium kanagram kbruch kgeography khangman kig ktouch kturtle kwordquiz kde-l10n-it marble parley step minetest calibre
 sudo apt-get install inkscape gimp blender freecad librecad meshlab openscad scribus sweethome3d
 sudo apt-get install audacity kdenlive breeze-icon-theme vlc musescore openshot puredata
 sudo apt-get install synaptic libreoffice-help-it libreoffice-l10n-it libreoffice-librelogo openclipart-libreoffice chromium-l10n midori firefox-esr firefox-esr-l10n-it gedit

OmniTux

Blockly Ivana.it

plug-in inkscapeTOopenscad

Pencil2D

Vectr grafica vettoriale

Araword Software da Sodilinux

Araword simboli

Arduino

Visualino

Snap4Arduino

Guido von Robot - installare python-sourceview2

Geogebra

Blockcad Github

Atom

Verificare il valore

 cat /proc/sys/vm/swappiness

e ridurlo se necessario aggiungendo una riga in fondo al file

 # Decrease swap usage to a more reasonable level
 vm.swappiness=10

Qui il post originale

Creare un lanciatore .desktop modificando la posizione della cartella contenente gli sfondi scelti:

 [Desktop Entry]
 Version=1.0
 Name=Random Wallpaper
 Comment=Randomly change LXDE wallpaper.
 Exec=bash -c 'pcmanfm -w "$(find /usr/share/rpd-wallpaper -type f | shuf -n1)"'
 Terminal=false
 Type=Application
 Categories=Utility;
 Icon=wallpaper

Copiare il file nella cartella dell'utente

 /home/pi/.config/autostart

crearla se non esistente.

Editare il file di configurazione di lightDM

 /etc/lightdm/lightdm.conf

alla riga opportuna.

 autologin-user=utente

Editare il file

 sudo nano /etc/dhcpcd.conf

Crea un utente con relativa /home e personalizzarne la password

 sudo useradd -m utente
 sudo passwd utente

Cambiare la shell di default chsh -s /bin/bash utente

Dopo aver copiato la configurazione di lxpanel e lxsession dalla cartella ~/.config, impostare i permessi di modifica a nessuno.

Copiare la cartella di Blockly Ivana.it in Documenti e creare un avviatore blockly.desktop da inserire in ~/.local/share/applications.

Al termine del file etc/dhcpcd.conf aggiungere le seguenti righe. Permette di collegarsi direttamente a Raspberry collegandosi direttamente via cavo. Ovviamente dovrà esserci attivo ssh o Vnc per poter operare da remoto.

 interface eth0
 fallback ipstatic-eth0

Aggiungere questa riga al file /apt/source.list

 deb http://ftp.debian.org/debian stretch-backports main

e quindi installare con il comando

 apt-get -t stretch-backports install ''package''

Sostiuire package con libreoffice Categoria:Linux_PCscuola