From 1c88a791b247b1232a415441ad9571ba24fd493d Mon Sep 17 00:00:00 2001
From: Andreas Kloeckner <inform@tiker.net>
Date: Mon, 8 Jan 2024 15:23:34 -0600
Subject: [PATCH] graphviz: Require DISPLAY for xwindow output
---
pytools/graphviz.py | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/pytools/graphviz.py b/pytools/graphviz.py
index 6e7c748..7d4ba9d 100644
--- a/pytools/graphviz.py
+++ b/pytools/graphviz.py
@@ -33,6 +33,7 @@ Dot helper functions
import html
import logging
+import os
from typing import Optional
@@ -99,7 +100,7 @@ def show_dot(dot_code: str, output_to: Optional[str] = None) -> Optional[str]:
"make sure it is in your $PATH.")
supported_formats = proc.stderr.read().decode()
- if " x11 " in supported_formats:
+ if " x11 " in supported_formats and "DISPLAY" in os.environ:
output_to = "xwindow"
else:
output_to = "browser"
--
GitLab