From 8bc2271e6f3c892b65f012717cadd22ef3b2a7fd Mon Sep 17 00:00:00 2001
From: j-t-1 <120829237+j-t-1@users.noreply.github.com>
Date: Sat, 17 May 2025 09:31:19 +0100
Subject: [PATCH] Remove extra word in comment

---
 doc/source/getting-started-linux-tutorial.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/source/getting-started-linux-tutorial.rst b/doc/source/getting-started-linux-tutorial.rst
index a1aad235d..031b49636 100644
--- a/doc/source/getting-started-linux-tutorial.rst
+++ b/doc/source/getting-started-linux-tutorial.rst
@@ -40,7 +40,7 @@ For plugin requests, please create an issue with a description of the requested
         linux.check_creds.Check_creds
         linux.check_idt.Check_idt
 
-.. note:: Here the the command is piped to grep and head to provide the start of the list of linux plugins.
+.. note:: Here the command is piped to grep and head to provide the start of the list of linux plugins.
 
 
 Using plugins