diff options
author | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-12-01 08:56:56 (GMT) |
---|---|---|
committer | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-12-01 08:56:56 (GMT) |
commit | f0e7ce55780ce3d11e985fb4e4f9a7efaf5c8dc5 (patch) | |
tree | 83ebcd6caefa0c8ce340efd0cd909a7075734059 /devbot | |
parent | cb6ac48dc0665d6e8dcd0bd2733d258e16bbc50f (diff) |
Print out some informations about the distribution
Diffstat (limited to 'devbot')
-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() |