diff --git a/doc/getting-started/rt_industry_ubuntu.rst b/doc/getting-started/rt_industry_ubuntu.rst index 28d2b9d49..28249edc1 100644 --- a/doc/getting-started/rt_industry_ubuntu.rst +++ b/doc/getting-started/rt_industry_ubuntu.rst @@ -239,7 +239,7 @@ Update Grub for the Ubuntu Service VM .. note:: Adjust this to your uuid and PARTUUID for the root= parameter with - lbkid cmdline (or use the device node directly). + ``blkid`` command (or use the device node directly). Update the kernel name if you used a different name as the source for your Service VM kernel.