From ca61eca9bc6fc99018c18554ddd81e97e71d9cab Mon Sep 17 00:00:00 2001
From: Pedro Bernardo <pedro_bernardo@icloud.com>
Date: Fri, 19 Apr 2024 16:40:25 +0200
Subject: [PATCH] check the user permissions in wpt-check

---
 wpt-check | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/wpt-check b/wpt-check
index 24de6d4..70bb5cb 100755
--- a/wpt-check
+++ b/wpt-check
@@ -11,6 +11,12 @@ print_usage () {
     echo "Usage: $0 [ -h | -l FOLDER | -t TIMEOUT ] ( pull | build | clean | run BROWSER TEST| verify JSON-TRACE )"
 }
 
+
+docker info &> /dev/null || {
+    echo "Error connecting to docker daemon. Make sure your user has the correct permissions, e.g., is part of the 'docker' group."
+    exit 1
+}
+
 tmpfile=$(mktemp -d)
 time=$(date +%s.%N)