diff options
author | Erik Price <erik.price16@gmail.com> | 2013-04-19 07:42:47 (GMT) |
---|---|---|
committer | Erik Price <erik.price16@gmail.com> | 2013-04-19 07:42:47 (GMT) |
commit | fdd9e5a0c249b77effe4fd9bec0aca0cc17f8ce4 (patch) | |
tree | 81e905024632e6bb3c343ea021a26a5a2b7cfea2 | |
parent | a483f07993c41fec883a6f5cb262a49149f18212 (diff) |
-rw-r--r-- | devbot/plugins/gentoo.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/devbot/plugins/gentoo.py b/devbot/plugins/gentoo.py index 3b0e5fb..dbe3958 100644 --- a/devbot/plugins/gentoo.py +++ b/devbot/plugins/gentoo.py @@ -5,6 +5,7 @@ from devbot import command from devbot import distro from devbot.plugins import interfaces + class PackageManager(interfaces.PackageManager): def __init__(self, test=False, interactive=True): self._test = test @@ -83,6 +84,7 @@ class PackageManager(interfaces.PackageManager): distro.register_package_manager("gentoo", PackageManager) + class DistroInfo(interfaces.DistroInfo): _GENTOO_RELEASE_PATH = "/etc/gentoo-release" |