From a341c5f34afc52a448cabdea43436513a2c8c5f0 Mon Sep 17 00:00:00 2001
From: Jakub Judiny <judiny@cesnet.cz>
Date: Mon, 5 Dec 2022 14:43:33 +0100
Subject: [PATCH] Fix warden_filer service name in documentation

(Redmine issue: #7041)
---
 doc/sphinx/_doclib/development.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/sphinx/_doclib/development.rst b/doc/sphinx/_doclib/development.rst
index 609ee5dc..8c35c4c2 100644
--- a/doc/sphinx/_doclib/development.rst
+++ b/doc/sphinx/_doclib/development.rst
@@ -767,7 +767,7 @@ workstation.
 	warden-apply.sh ...
 
 	# Warden filer is not running by default.
-	(venv) !DEV! mentat@mentat-devel /vagrant $ sudo systemctl status warden_filer.service
+	(venv) !DEV! mentat@mentat-devel /vagrant $ sudo systemctl status warden_filer_receiver.service
 
 
 To refresh the development box use following Vagrant commands:
-- 
GitLab