4 ms·Agreed, and the full NixOS is unnecessary for the developer shell feature and Direnvby peterbecich 1y agoAgreed, and the full NixOS is unnecessary for the developer shell feature and Direnv