From 6f819a494f36518b5fa27755c614c93c76dff58d Mon Sep 17 00:00:00 2001
From: Alessandro Pisa <alessandro.pisa@gmail.com>
Date: Thu, 8 Dec 2022 11:10:38 +0100
Subject: [PATCH] Avoid a deprecation warning

This refs #1257.
I am not sure since which version `disable-ticketing=on`  is working.
So be aware that merging this might impact some people.
---
 source/get-started/virtual-machine-install/kvm.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/source/get-started/virtual-machine-install/kvm.rst b/source/get-started/virtual-machine-install/kvm.rst
index bb3bea89d..e3d8cddf7 100644
--- a/source/get-started/virtual-machine-install/kvm.rst
+++ b/source/get-started/virtual-machine-install/kvm.rst
@@ -141,7 +141,7 @@ To add :abbr:`GDM (GNOME Display Manager)` to the |CL| VM, follow these steps:
           -m 4096 \
           -vga qxl \
           -nographic \
-          -spice port=5924,disable-ticketing \
+          -spice port=5924,disable-ticketing=on \
           -usb \
           -device usb-tablet,bus=usb-bus.0 \
           -drive file="$IMAGE",if=virtio,aio=threads,format=raw \