AWK script:
BEGIN {
linenum = 0
}
{
ct0 = gsub(/0/, "", $0)
ct1 = gsub(/1/, "", $0)
if (ct0%3 == 0 || ct1%2 == 0) {
linenum++
}
}
END {
print linenum
}
gawk -f script.awk data.dat
AWK script:
BEGIN {
linenum = 0
}
{
ct0 = gsub(/0/, "", $0)
ct1 = gsub(/1/, "", $0)
if (ct0%3 == 0 || ct1%2 == 0) {
linenum++
}
}
END {
print linenum
}
gawk -f script.awk data.dat