Converting awk output to integer

Question

I have elaborated an awk command which gathers the output of a shell:

val=$(./cli.sh --file=scripts/monitor.sh | awk '/result/{print $3}')
echo $val

Returns:

"75"

As you can see the output is correctly returned, however I'd need to cast it to integer. Is there an awk function to do it?

gnu.org/software/gawk/manual/html_node/String-Functions.html — Karoly Horvath
– Karoly Horvath, Commented Nov 28, 2014 at 10:57

fedorqui · Accepted Answer · 2014-11-28 11:08:38Z

2

You can use gsub() to remove the quotes:

$ echo '"3"' | awk '{gsub("\"", "", $1); print}'
3

In your case, this should make:

val=$(./cli.sh ... | awk '/result/{gsub("\"", "", $3); print $3}')

Sample file:

$ cat a
returns a b "75"
returns b c "33"
returns d e 7
hello z z 7

And let's run it:

$ awk '/return/ {gsub("\"", "", $4); print $4}' a
75
33
7

answered Nov 28, 2014 at 11:00

fedorqui

294k113 gold badges594 silver badges641 bronze badges

Sign up to request clarification or add additional context in comments.

Comments

SMA · Accepted Answer · 2014-11-28 11:01:42Z

0

Try:

val=$(./cli.sh --file=scripts/monitor.sh | awk '/result/{print substr($3, 2, length($2)-1)}')
echo $val

answered Nov 28, 2014 at 10:56

SMA

37.2k8 gold badges53 silver badges76 bronze badges

Thanks. However it returns 7 instead of 75.

This is the case with example from OP? or OP can just remove "" from the output very simple.