1

Lezione 5Debian GNU/LinuxSistemi Operativi (9 CFU), CdL Informatica, A. A. 2014/2015Dipartimento di Scienze Fisiche, Informatiche e MatematicheUniversità di Modena e Reggio Emiliahttp://weblab.ing.unimo.it/people/andreolini/didattica/sistemi-operativi

2

Quote of the day(Meditate, gente, meditate...)

“Fellow Linuxers, this is just to announce the imminent completion of a brand-new Linux release, which I'm calling the Debian Linux Release...”

Monday, 16 August 1993Ian Murdock (1973-)Ingegnere del softwareCreatore di Debian GNU/LinuxSviluppatore di OpenSolaris

3

Esercizi (2 min.)

1. Si navighi sul mirror italiano di Debian. Si entri nella directory indices e si apra il file md5sums.gz. Interpretate ciò che vedete a video.

4

Soluzioni

1. Avete appena visto l'elenco completo di tutti gli hash dei file del repository. Se gli hash dei file che avete scaricato non corrispondono con quelli presenti nel repository, si è verificato un problema.

5

Esercizi (2 min.)

2. Riuscite a farvi un'idea anche grossolana dei software non-free disponibili nella distribuzione unstable di Debian?

6

Soluzioni

2. Si entra nella directory pool/non-free e si navigano le sottodirectory. Il software non-free è contenuto tutto lì.

7

Esercizi (5 min.)

3. Leggete il file /etc/apt/sources.list della vostra distribuzione Debian (o derivata). Elencate i repository configurati e cercate di capire il loro scopo.

8

Soluzioni

3. Sulla una macchina virtuale Debian appena installata si ha il seguente /etc/apt/sources.list.

deb http://ftp.it.debian.org/debian/ wheezy maindeb-src http://ftp.it.debian.org/debian/ wheezy main

deb http://security.debian.org/ wheezy maindeb-src http://security.debian.org/ wheezy main

deb http://ftp.it.debian.org/debian/ wheezy-updates maindeb-src http://ftp.it.debian.org/debian/ wheezy-updates main

9

Soluzioni

3. Sulla una macchina virtuale Debian appena installata si ha il seguente /etc/apt/sources.list.

deb http://ftp.it.debian.org/debian/ wheezy maindeb-src http://ftp.it.debian.org/debian/ wheezy main

Repository ufficiale di wheezy (pacchetti binari e sorgente).

10

Soluzioni

3. Sulla una macchina virtuale Debian appena installata si ha il seguente /etc/apt/sources.list.

deb http://security.debian.org/ wheezy/updates maindeb-src http://security.debian.org/ wheezy/updates main

Repository contenente gli aggiornamenti urgenti di sicurezza per la distribuzione wheezy (pacchetti binari e sorgente).

11

Soluzioni

3. Sulla una macchina virtuale Debian appena installata si ha il seguente /etc/apt/sources.list.

deb http://ftp.it.debian.org/debian/ wheezy-updates maindeb-src http://ftp.it.debian.org/debian/ wheezy-updates main

Repository contenente gli aggiornamenti alla distribuzione wheezy (pacchetti binari e sorgente).

12

Esercizi (2 min.)

4. Manca qualcosa nel file di configurazione che vi ho appena fatto vedere?

13

Soluzioni

4. Mancano i componenti contrib e non-free, che permettono l'installazione di software non libero.

14

Esercizi (5 min.)

5. Il repository Debian Multimedia contiene diversi software non liberi per la riproduzione di contenuti multimediali (codec e lettori). Lo si abiliti nella vostra distribuzione Debian.

15

Soluzioni

5. Si consulti l'elenco dei repository non ufficialihttps://wiki.debian.org/UnofficialRepositoriesSi clicchi sul link “Debian Multimedia”Si seguano le istruzioni per la propria distribuzione.È possibile configurare il repository in un file separato, ad esempio: /etc/apt/sources.list.d/multimedia.list

16

Esercizi (5 min.)

6. Navigate il repository Web di Debian Multimedia, cercate il pacchetto la cui descrizione è “Ultimate Movie Player For Linux” e installate tale pacchetto.

17

Soluzioni6. Nella home page del repository Debian Multimediahttp://www.deb-multimedia.org/si clicchi “Packages” sulla sinistra.Si scelga l'architettura del proprio PC (solitamente, AMD 64 bit) e la distribuzione (nel mio caso, wheezy).Si ricerchi la descrizione “Ultimate Movie Player For Linux”.Il pacchetto si scopre essere mplayer.Si installa il pacchetto:apt-get install mplayer

18

Esercizi (1 min.)

7. Cancellate il pacchetto binario mplayer appena installato.

19

Soluzioni

7. Si dia il seguente comando da amministratore:apt-get remove mplayer

20

Esercizi (2 min.)

8. Si cerchino tutti i videogiochi disponibili nel repository.

21

Soluzioni

8. Si dia il seguente comando:apt-cache search giocoSe il sistema è in lingua inglese:apt-cache search gameÈ consigliabile paginare il risultato della ricerca.apt-cache search gioco | less -Mr

22

Esercizi (2 min.)

9. Cercare tutti i pacchetti che finiscono con la stringa -dev.

23

Soluzioni

9. Si dia il seguente comando:apt-cache search --names-only '^.*-dev$'

24

Esercizi (3 min.)

10. Si stampino tutte le informazioni possibilirelative al pacchetto software supertux.Quali pacchetti richiede supertux per essereinstallato?Quali pacchetti richiedono supertux peressere installati?

25

Soluzioni

10. Per visualizzare i metadati del pacchetto:apt-cache show supertuxPer conoscere le dipendenze dirette di supertux:apt-cache depends supertuxPer conoscere le dipendenze inverse di supertux:apt-cache rdepends supertux

26

Esercizi (5 min.)

11. La libreria del C è contenuta nel pacchetto binario libc6. Quanti pacchetti dipendono dalla libreria del C?

27

Soluzioni

11. È richiesto il calcolo delle dipendenze inverse di libc6.

apt-cache rdepends libc6Per contare tali dipendenze:apt-cache rdepends libc6 | wc -lDue terzi abbondanti dei pacchetti disponibili richiedono direttamente la libreria del C per poter funzionare.

28

Esercizi (5 min.)

12. Si installi il pacchetto binario hello. Si spieghi che cosa rappresenta il pacchetto. Si visualizzino tutti i file forniti dal pacchetto.Che cosa viene installato?

29

Soluzioni

12. Per installare il pacchetto:apt-get install helloPer leggere la descrizione del pacchetto:apt-cache show helloPer elencare tutti i file forniti dal pacchetto:apt-file list -x '^hello$'

Che cosa è installato?Un binario (/usr/bin/hello).Documentazione (in /usr/share/doc/hello).Le stringhe nelle diverse lingue (/usr/share/locale).

30

Esercizi (5 min.)

13. Individuare il pacchetto virtuale del browser Web grafico. Individuare le possibili alternative e l'alternativa di default. Cambiare l'alternativa con un browser a scelta. Verificare il corretto cambiamento.

31

Soluzioni

13. Si elenchino innanzitutto tutte i pacchetti virtuali checontengono la parola chiave browser:update-alternatives --get-selections | grep browserSi dovrebbe poter identificare il pacchetto virtuale dinome x-www-browser.Si elenchino le alternative possibili di x-www-browser:update-alternatives --list x-www-browserSi scelga una diversa alternativa di default:update-alternatives --config x-www-browserSi verifichi il corretto cambiamento:x-www-browser