diff --git a/bin/install_tone_deps.py b/bin/install_tone_deps.py index d74e169a1a2540fec7dd52fdf7d508bad0cb1471..f6440adc7b1b80cc8a3101b0c1d1a7681bf03698 100755 --- a/bin/install_tone_deps.py +++ b/bin/install_tone_deps.py @@ -97,16 +97,14 @@ def has_apt(): def get_os_version(): distro = "" version_id = "" - with open("/etc/os-release") as os_release: - info = os_release.readlines() - for l in info: + with open("/etc/os-release",'r') as os_release: + for l in os_release: if l.startswith("ID="): distro = "".join(l.split("\"")).strip().split("=")[1] - break - for l in info: if l.startswith("VERSION_ID="): version_id = "".join(l.split("\"")).strip().split("=")[1] break + if distro not in base_pkg_mapping: print("Unsupported OS distro: %s" %distro) if has_yum():