Tente substituir o nome da variável extension
por outra coisa, por exemplo, ext
; em gawk
, extension
é uma palavra-chave / built-in.
$ gawk 'BEGIN{print extension}'
gawk: cmd. line:1: BEGIN{print extension}
gawk: cmd. line:1: ^ syntax error
$ gawk 'BEGIN{print ext}' # OK
^D
$ gawk -vextension=gzip 'BEGIN{print extension}'
gawk: fatal: cannot use gawk builtin 'extension' as variable name