stat (FILENAME) no awk

Question

Título diz tudo.

Como posso obter o atributo file com o awk?

ou

Existe um equivalente à função c / php stat() ?

• obviamente, ao acessar um canal, o atributo de arquivo seria indefinido.
• Eu sei que posso usar o perl, mas isso iria reescrever o script do meu awk.
• esta no ubuntu, qualquer alternativa ao awk é OK (gawk por exemplo).

meu awk já está gawk

awk --version
GNU Awk 4.0.1
Copyright (C) 1989, 1991-2012 Free Software Foundation.

adicionando @load "filefuncs" ; (seja na cláusula BEGIN { } ou antes dela).

resultar em

gawk: stat-to-php.awk:4:     @load "filefuncs" ;
gawk: stat-to-php.awk:4:      ^ syntax error

    

Answer 1

Se o seu sistema tiver um comando stat , você pode deixar awk chamar esse comando e ler sua saída via getline .

editar:

awk '{ "stat -c%y " $1 | getline ts ;}'

colocará em ts valor de stat -c%y $1