Estrarre un numero da una stringa

$ NUMERO=$(echo “Ho 999 anni.” | tr -dc ‘0-9’) $ echo $NUMERO. 999. $ NUMBER=$(echo “Ho 999 anni.” | sed ‘s/[^0-9]*//g’) $ echo $NUMERO. 999. $ STRING=”Ho 999 anni.” $ echo “${STRING//[!0-9]/}” 999. O. $ echo “${STRING//[^0-9]/}” $ NUMERO=$(echo “Ho 999 anni.” | grep -o -E ‘[0-9]+’) $ echo $NUMERO. 999.

Convertire case nomi file

Per cambiare il case dei nomi dei file usare i seguenti comandi: Da maiuscolo a minuscolo: for nomefile in $(ls <nome del file>); do mv $nomefile $(echo $nomefile | tr “[:upper:]” “[:lower:]”); done Da minuscolo a maiuscolo: for nomefile in $(ls <nome del file>); do mv $nomefile $(echo $nomefile | tr “[:lower:]” “[:upper:]”); done