diff options
| -rw-r--r-- | devbot/distro.py | 10 | ||||
| -rw-r--r-- | devbot/system.py | 1 |
2 files changed, 11 insertions, 0 deletions
diff --git a/devbot/distro.py b/devbot/distro.py index a5857c8..2c991fa 100644 --- a/devbot/distro.py +++ b/devbot/distro.py @@ -18,6 +18,16 @@ def get_package_manager(test=False, interactive=True): package_manager_class = _package_managers[get_distro_info().name] return package_manager_class(test=test, interactive=interactive) +def print_distro_info(): + info = get_distro_info() + print "== Distribution information ==\n" + print "Name: %s" % info.name + print "Version: %s" % info.version + print "GNOME version: %s" % info.gnome_version + print "Gstreamer version: %s" % info.gstreamer_version + print "Use lib64: %s" % info.use_lib64 + print "Supported: %s\n" % info.supported + def get_distro_info(): global _supported_distros global _distro_info diff --git a/devbot/system.py b/devbot/system.py index bfeb9d2..4652169 100644 --- a/devbot/system.py +++ b/devbot/system.py @@ -167,6 +167,7 @@ def check(remove=False, update=False, test=False, interactive=True, package_manager = \ distro.get_package_manager(test=test, interactive=interactive) + distro.print_distro_info() distro_name = distro.get_distro_info().name packages = config.load_packages() |