COMANDI BASH PER ELABORARE FILE

sort ordina alfabeticamente le righe di un file
	sort file

wc (word count) conta 
	wc file
	wc -c	(conta i char)
	wc -w	(conta le parole)
	wc -l	(conta le righe)

grep estrarre da un file le righe che contengono una data stringa
	grep stringa file (le righe che contengono la stringa anche come sottostringa)
	grep -w stringa (le righe che contengono esattamente la stringa)
	grep -v stringa (le righe che non contengono la stringa)
	grep -i stringa (ignora la differenza tra maiuscole e minuscole)

cut permette di estrarre sezioni da ogni riga di un file
	cut -c m-n file	(estrae colonne)
		es.: cut -c 1-4 frutti
	cut -f n file (estrae campi)
		es.: cut -f1 siti.txt
	cut -d "new_delimiter" -f n file (cambia il delimitatore e estrae campi)
		es.: cut -d ":" -f2 siti.txt

tr sostituisce o cancella gruppi di caratteri 
	tr stringa1 stringa2 
		sostituisce ciascuna occorrenza di un char di stringa1 
		con il char corrispondente (cioè nella stessa posizione) 
		di stringa2 nel flusso di caratteri da standard input (tastiera)
	tr -d stringa1 cancella ciascuna occorrenza di char di stringa1
	tr stringa1 stringa2 < file	input da file invece che da tastiera


echo permette di stampare messaggi a video (utile in uno script)
	echo stringa
	es.: echo "ciao, come stai?"

wget permette di salvare localmente un file accessibile via web
	es.: wget http://morpurgo.di.unimi.it/didattica/labprog/2017/siti.txt
	

composizione di comandi con pipe (|)
	es.: grep mela frutti.txt | sort | cut -c1

tee permette, combinato con |,  di avere l'output sia su monitor sia salvato in un file
	es.: grep mela frutti.txt | tee file_mele.txt 

        
ridirezione dell'output su un file 
	>  sovrascrive il file
	>> appende in fondo al file

script di shell
	creare un file di testo con la sequenza di comandi da eseguire
	salvarlo con estensione .sh
	se necessario, cambiare i permessi con chmod (deve essere eseguibile)
	lanciarlo preceduto da ./
		es:. ./myscript.sh