Lezione 5 Debian GNU/Linux

Transcript

1 Lezione 5 Debian GNU/Linux Sistemi Operativi (9 CFU), CdL Informatica, A. A. 2014/2015 Dipartimento di Scienze Fisiche, Informatiche e Matematiche Università di Modena e Reggio Emilia 1

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 1993 Ian Murdock (1973-) Ingegnere del software Creatore di Debian GNU/Linux Sviluppatore di OpenSolaris 2

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. 3

4 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. 4

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

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

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. 7

8 3. Sulla una macchina virtuale Debian appena installata si ha il seguente /etc/apt/sources.list. deb wheezy main deb-src wheezy main deb wheezy main deb-src wheezy main deb wheezy-updates main deb-src wheezy-updates main 8

9 3. Sulla una macchina virtuale Debian appena installata si ha il seguente /etc/apt/sources.list. deb wheezy main deb-src wheezy main Repository ufficiale di wheezy (pacchetti binari e sorgente). 9

10 3. Sulla una macchina virtuale Debian appena installata si ha il seguente /etc/apt/sources.list. deb wheezy/updates main deb-src wheezy/updates main Repository contenente gli aggiornamenti urgenti di sicurezza per la distribuzione wheezy (pacchetti binari e sorgente). 10

11 3. Sulla una macchina virtuale Debian appena installata si ha il seguente /etc/apt/sources.list. deb wheezy-updates main deb-src wheezy-updates main Repository contenente gli aggiornamenti alla distribuzione wheezy (pacchetti binari e sorgente). 11

12 Esercizi (2 min.) 4. Manca qualcosa nel file di configurazione che vi ho appena fatto vedere? 12

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

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. 14

15 5. Si consulti l'elenco dei repository non ufficiali Si 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 15

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. 16

17 6. Nella home page del repository Debian Multimedia 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 17

18 Esercizi (1 min.) 7. Cancellate il pacchetto binario mplayer appena installato. 18

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

20 Esercizi (2 min.) 8. Si cerchino tutti i videogiochi disponibili nel repository. 20

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

22 Esercizi (2 min.) 9. Cercare tutti i pacchetti che finiscono con la stringa -dev. 22

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

24 Esercizi (3 min.) 10. Si stampino tutte le informazioni possibili relative al pacchetto software supertux. Quali pacchetti richiede supertux per essere installato? Quali pacchetti richiedono supertux per essere installati? 24

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

26 Esercizi (5 min.) 11. La libreria del C è contenuta nel pacchetto binario libc6. Quanti pacchetti dipendono dalla libreria del C? 26

27 11. È richiesto il calcolo delle dipendenze inverse di libc6. apt-cache rdepends libc6 Per contare tali dipendenze: apt-cache rdepends libc6 wc -l Due terzi abbondanti dei pacchetti disponibili richiedono direttamente la libreria del C per poter funzionare. 27

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? 28

29 12. Per installare il pacchetto: apt-get install hello Per leggere la descrizione del pacchetto: apt-cache show hello Per 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). 29

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. 30

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