Assuming that i passed some variables to the awk script:
$AWK -f script.awk -v var01="foo" var02="bar"
And inside the script i obtain some pattern:
# pattern01 var01
/pattern01/ {
        if (??? == "foo") print
}
I want to expand the variable "$2" ("var01") to its given value. I have been trying with gawk and it seems to be able to expand variables in the following way:
print $$x
But this, for some reason, doesn't work in the first example, also i need to keep POSIX compatibility. Is it possible to expand the variable in the given example? (Note: I want specifically this behavior (if possible), so i don't want workarounds with other tools or shell expansion)
Equivalent in shell:
file01:
        foobar
        some random text
        pattern01 var01
        more random text...
code.sh:
        #!/bin/sh
        var01="Hello"
        x="$(grep '^pattern01' file01 | awk '{print $2}')"
        eval echo "$"$x # prints Hello
 
     
    