tree b59af429025e2a77a5a272f5286c13e3f1abfbfd
parent b148c8ca8ef79652115be8dcc99837ed9e6bb7c8
author Bruno Binet <bruno.binet@gmail.com> 1487177599 +0100
committer Bruno Binet <bruno.binet@gmail.com> 1487177752 +0100

Prefer "pkgs" rather than "names" when using pkg.installed

"names" makes a separate call to the package management frontend to
install each package, whereas "pkgs" makes just a single call so that it
improves performance.