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.