tableplus is the best postgresql client I’ve used, and I’ve used a few

I think it’s macOS-only though

Question: does anyone know of any projects using Clojure for Formal Verification?

@functionaltom LaTTe is a proof assistant for Clojure https://github.com/latte-central/LaTTe

Might be helpful

I need to grep on a file like this

grep -E "Do foo*" ./foo_2018-01-01.log >> cleansed-log-2018-01-01.log

I don't want to type the above command 90 times :')

i guess i could use (grep -E "Do foo*" ./foo_2018-01-01.log >> cleansed-log-2018-01-01.log; (grep -E "Do foo*" ./foo_2018-01-01.log >> cleansed-log-2018-01-01.log; )?

Note that your regex is probably missing a ., it would match Do fooooo but not Do foobar

You probably want grep -E "Do foo.*" instead

while we are on the topic of bash, on MacOS, I have a script that backgrounds some inifinite task (with &), now I can retrieve its PID with $!, but how can I stop it together with its children.

I tried sending a SIGINT to the parent in the hope that it would kill its children, but to no success

I think it's the responsibility of the parent process to clean up it's children?

Yeah would say so too, but that is sadly not happening