📊 Quantitative test results for language: eng, year: 2023, size: 10K, paranoia level: 1:
🚀 Quantitative testing did not detect new false positives

Do we want to add sudo-rs also? Does it live in bin/, right?

Looks like sudo-rs does: apt-file search sudo-rs | grep bin/sudo-rs

Why did you remove the builtins?

I just realised that pmFromFile can take multiple files as input. So I think it could make more sense to create a separate file for aliases, variables, and builtins. That should make maintenance a bit simpler.

Why did you remove the builtins?

Sorry if I'm mistaken, but doesn't adding pointless entries, that doesn't exist in real systems, bad for performance? Also, not sure most entries without the bin/ path added to them will be safe for FPs.

In general, yes, but they do exist. If you manage to execute a shell, you can call zmodload, which, incidentally, was the entire point of this PR. zmodload is a built-in just like the others.

@Xhoenix can you fix the conflict so we merge this one? thanks!

What else do we need here @theseion @Xhoenix ?

Everything looks good. @theseion waiting for approval.

@theseion need your approval.