From 14a5d0361ecb431b21f63a423b868c7f01efa178 Mon Sep 17 00:00:00 2001
From: Michael Migliore <mcmigliore@gmail.com>
Date: Thu, 5 Dec 2024 19:07:14 +0100
Subject: [PATCH] Remove xdotools and wmctrl

---
 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 \