FANDOM


Script che cancellano i file più grandi di $DIM contenuti nella directory $DIR.

Soluzione per bash Modifica

$ for FILE in $DIR/* ; do if [[ `ls -l $FILE | awk '{print $5}'` -gt $DIM ]] ; \
then rm $FILE ; fi ; done

Commento Modifica

Sebbene il metodo canonico per ottenere questo risultato sia usare find(1), questa soluzione meno versatile sembra funzionare bene nel caso specifico (file direttamente contenuti in una directory, o in una posizione ben specifica, che con find(1) richiederebbe ricerche anche sul nome.

Ad esempio, se si hanno numerose sottodirectory di $DIR, ciascuna delle quali contiene un file di nome $LOG, basta usare

$DIR/*/$LOG

Varianti Modifica

In alcuni casi può essere utile sostituire rm $FILE con

echo "" > $FILE

in modo da mantenere il file e limitarsi a svuotarlo.

Se si vuol scrivere meno... ecco qua

> $FILE


Altre varianti utili è quella che comprime i file in questione

 gzip $FILE

oppure sposta altrove, in $DEST, magari per farne poi un archivio:

mv $FILE $DEST

Ad blocker interference detected!


Wikia is a free-to-use site that makes money from advertising. We have a modified experience for viewers using ad blockers

Wikia is not accessible if you’ve made further modifications. Remove the custom ad blocker rule(s) and the page will load as expected.

Inoltre su FANDOM

Wiki casuale