Anonymous user
Talk:Check that file exists: Difference between revisions
→Old solution for GNU Awk: new section
No edit summary |
(→Old solution for GNU Awk: new section) |
||
Line 51:
Would it be possible to add a "Extra credits" for the test to make sure that a directory called input.txt is not identified as a file, and vice versa for docs? Or to just add it as a clarification. --Bengt Mon May 27 08:48:26 CEST 2013
== Old solution for GNU Awk ==
<lang AWK>
# syntax: GAWK -f CHECK_THAT_FILE_EXISTS.AWK
BEGIN {
check_exists("input.txt")
check_exists("\\input.txt")
check_exists("docs")
check_exists("\\docs")
exit(0)
}
function check_exists(name, fnr,msg,rec) {
while (getline rec <name > 0) {
fnr++
break
}
# "Permission denied" is for MS-Windows
msg = (ERRNO == 0 || ERRNO ~ /Permission denied/ || fnr > 0) ? "exists" : "does not exist"
printf("%s - %s\n",name,msg)
close(name)
}
</lang>
It reports "not exist" if input.txt is a 0-length file. -- [[User:3havj7t3nps8z8wij3g9|3havj7t3nps8z8wij3g9]] ([[User talk:3havj7t3nps8z8wij3g9|talk]]) 17:34, 23 May 2015 (UTC)
| |||