@aschmitz fuck, i typo'd. should be <"$f" >"$f.gz". as is will just overwrite every file with nothing (> will clobber the file; gzip will read a now-empty file, and then write the transfurmation (that is, nothing) back to that file)
i did it right in the actual code, i swear,
@aescling I mean, be that as it may, it does make me feel like maybe a little indentation and clarity isn't a bad thing when writing a loop like that. (If you get that from shell scripts, as long as everyone working with you does too, cool, but I'd feel more comfortable in most other "scripting" languages personally. On the other hand, I can read regexes pretty much natively while that seems to be rare, so I know how that goes.)