Enviado em 07/05/2018 - 04:02h
Tenho um arquivo que realiza coletas e atraves de filtros me retorna um numero
IP_TOTAL=`cat dados/arquivo.txt | cut -d "," -f 7`
IP_USADO=`cat dados/servico | grep -E "VR Total" | tr -s " " " " | cut -d " " -f 3`
resultado=$(($IP_TOTAL - $IP_USADO))
echo "$resultado"
ao imprimir o resultado ele não me traz nada, se eu realizar o filtro
if [[ $IP_TOTAL == [0-9] ]]; then
echo numerico
else
echo nao numerico
fi
ele me retorna não numerico;
tem como realizar a conversão destes dados?
ou alguma forma de eu realizar a operação?
IP_TOTAL=`cat dados/arquivo.txt | cut -d "," -f 7`
IP_USADO=`cat dados/servico | grep -E "VR Total" | tr -s " " " " | cut -d " " -f 3`
resultado=$(($IP_TOTAL - $IP_USADO))
echo "$resultado"
ao imprimir o resultado ele não me traz nada, se eu realizar o filtro
if [[ $IP_TOTAL == [0-9] ]]; then
echo numerico
else
echo nao numerico
fi
ele me retorna não numerico;
tem como realizar a conversão destes dados?
ou alguma forma de eu realizar a operação?