Lezione 0 Introduzione al sistema operativo UNIX 1) Avviare il programma "emulatore" di un sistema operativo UNIX (a riga di comando): dalla scrivania (desktop) cliccare due volte sull'icona 'Cygwin B20'; apparirà la riga di comando /cygnus/cygwin-b20: 2) Digitare: cd / seguito dalla pressione del tasto [Invio], si avrà /: In questo modo ci siamo portati nel livello più alto del "filesystem" (sistema di file), quello che in ambiente DOS corrisponde all'unità C:\>. Il comando cd (change directory) serve a spostarsi nel filesystem, ad esempio: cd ..[Invio] sale di un livello cd /windows/system [Invio] si porta nella cartella (directory) C: -> Windows -> system Ogni comando UNIX viene eseguito premendo il tasto [Invio]; eviteremo di ricordare questo dettaglio in seguito. 3) Creare la cartella 5f: /: mkdir 5f Il comando mkdir (make directory) serve a creare una cartella con un dato nome. 4) Entrare nella cartella 5f: /: cd 5f La riga di comando diventerà /5f: per indicarci che ci troviamo nella cartella 5f. 5) Creare una cartella con il proprio nome, p.es. tizio (evitare di usare spazi nei nomi dei file e delle cartelle): /5f: mkdir tizio 6) Se ora digitate: /5f: ls Avrete come risultato /5f: ls tizio Il comando ls (list) elenca il contenuto della cartella nella quale vi trovate. 7) Entrare nella cartella tizio: /5f: cd tizio Avremo come risultato /5f/tizio: (ci troviamo nella cartella tizio) 8) Uscire dal programma emulatore usando il comando exit: /5f/tizio: exit Se la finestra non si chiude, tenere premuto il tasto [Alt] seguito dalla pressione del tasto [F4]. 9) Richiamare l'emulatore UNIX ed esercitarsi con i comandi visti: cd, mkdir, ls. Provare inoltre i seguenti comandi: ls --color (ls con l'opzione --color) distingue con colori diversi le cartelle dai file. ls -d a* visualizza i file e le cartelle i cui nomi cominciano per a. ls -l visualizza alcuni dettagli dei file e delle cartelle. rm file1 (remove) cancella il file con nome 'file1'. rm -r dir1 (remove con l'opzione -r) cancella la cartella 'dir1' con tutto il suo contenuto. mv nome_vecchio nome_nuovo (move) serve a cambiare nome ai file e alle cartelle. cp file1 file2 (copy) fa una copia del file file1 e lo chiama file2. cp -r dir1 dir2 (copy con opzione -r) fa una copia della cartella dir1 e la chiama dir2. 10) Usando i tasti "freccia su" e "freccia giu" ([] e []) è possibile richiamare i comandi precedenti senza starli a riscrivere.