Comment imprimer son propre nom de script dans mawk?

En bash $0contient le nom du script, mais en awk si je crée un script nommé myscript.awk avec le contenu suivant: #!/usr/bin/awk -f BEGIN{ print ARGV[0] } et l'exécuter, il affichera seulement "awk". En outre, ARGV [i] avec i> 0 est utilisé uniquement pour les arguments de script en ligne de...