diff options
| author | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-11-30 22:54:00 (GMT) |
|---|---|---|
| committer | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-11-30 22:54:00 (GMT) |
| commit | 970a1a1c552288eb7473c1fcc67f34cc0cef0ab6 (patch) | |
| tree | be5a47610afe3f3958c42639edb3504254311d17 /devbot/plugins/debian.py | |
| parent | 99f6c7b4395a1bca7939cf0882f66aecdfb80d08 (diff) | |
Do not install recommends
Diffstat (limited to 'devbot/plugins/debian.py')
| -rw-r--r-- | devbot/plugins/debian.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/devbot/plugins/debian.py b/devbot/plugins/debian.py index 856a7f7..0b340e8 100644 --- a/devbot/plugins/debian.py +++ b/devbot/plugins/debian.py @@ -15,7 +15,7 @@ class PackageManager(interfaces.PackageManager): self._cache = apt.cache.Cache() def install_packages(self, packages): - args = ["apt-get"] + args = ["apt-get", "--no-install-recommends"] if not self._interactive: args.append("-y") |