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.

Pulire nomi file

Per eliminare i caratteri speciali dai nomi dei file usare l’espressione regolare: s/[^A-Za-z0-9._-]/_/g Può essere usata con VI oppure con sed: sed -e ‘s/[^A-Za-z0-9._-]/_/g’ oppure direttamente con find: find . -exec rename ‘s/[^A-Za-z0-9._-]/_/g’ “{}” \;