Comandi e files su Linux

Scopo di questa lezione di laboratorio è acquisire ulteriore familiarità con i comandi disponibili su un sistema Linux. Alcuni li abbiamo già incontrati nella precedente lezione. Come nella lezione precedente, sarà necessario collegarsi in remoto ai computer dell'aula 4 per svolgere gli esercizi.

Reminder: i blocchi di testo evidenziati in verde (come questo) sono gli esercizi da svolgere durante le ore di laboratorio; i risultati degli esercizi verranno verificati da chi si collega al vostro gruppo per rispondere alle domande.

Esercizio 1: Autocompletamento ed history in bash.
Esercizio 2: Comandi per gestire files e directory.
Esercizio 3: Copiare file con scp.
Esercizio 4: Editor di testo.
Esercizio 5: Leggere file lunghi, e compressione gzip.
Esercizio 6: Scaricare file dal web con wget.
Esercizio 7: Filtrare file di testo alla ricerca di sottostringhe.
Esercizio 8: Trovare un file nel filesystem
Esercizio 9: Comandi arbitrari con find