From 8cf47e6009a9b2e1f9e7f8639f83cc47c247877f Mon Sep 17 00:00:00 2001 From: Martin Robinson Date: Tue, 19 Mar 2024 09:43:07 +0100 Subject: [PATCH] bootstrap: Make unknown distro instructions more helpful (#31750) It doesn't make sense to ask everyone to file a bug if their distribution is unsupported. We have manual build instructions for some distributions and we can add instructions for more easily. --- python/servo/platform/linux.py | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/python/servo/platform/linux.py b/python/servo/platform/linux.py index d954869c8dd..58cc7813bd6 100644 --- a/python/servo/platform/linux.py +++ b/python/servo/platform/linux.py @@ -146,8 +146,9 @@ class Linux(Base): 'void', 'fedora linux asahi remix' ]: - raise NotImplementedError("mach bootstrap does not support " - f"{self.distro}, please file a bug") + raise NotImplementedError(f"mach bootstrap does not support {self.distro}." + " You may be able to install dependencies manually." + " See https://github.com/servo/servo/wiki/Building.") installed_something = self.install_non_gstreamer_dependencies(force) return installed_something