Gestionnaire de fichiers - Editer - /usr/share/awk/zerofile.awk
Arrière
# zerofile.awk --- library file to process empty input files # # Arnold Robbins, arnold@skeeve.com, Public Domain # June 2003 BEGIN { Argind = 0 } ARGIND > Argind + 1 { for (Argind++; Argind < ARGIND; Argind++) zerofile(ARGV[Argind], Argind) } ARGIND != Argind { Argind = ARGIND } END { if (ARGIND > Argind) for (Argind++; Argind <= ARGIND; Argind++) zerofile(ARGV[Argind], Argind) }
| ver. 1.4 |
Github
|
.
| PHP 8.0.30 | Génération de la page: 0.01 |
proxy
|
phpinfo
|
Réglages