From d8a4df74a27b512dbef155e00207e6b0190a38ef Mon Sep 17 00:00:00 2001 From: Michael MIGLIORE Date: Fri, 6 Dec 2024 08:02:37 +0100 Subject: [PATCH] Remove xdotools and wmctrl (#28) --- ci/Dockerfile | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/ci/Dockerfile b/ci/Dockerfile index eb2b7da..10d5a3a 100644 --- a/ci/Dockerfile +++ b/ci/Dockerfile @@ -23,9 +23,7 @@ RUN apt update && apt install -y \ help2man \ libboost-dev \ libqt5opengl5-dev \ - python3-dev \ - xdotool \ - wmctrl + python3-dev # Install CI tools RUN apt update && apt install -y \