$ 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.
Commenti