From 78ba1809877fc48eef6978bba86c17aa7fbaf7aa Mon Sep 17 00:00:00 2001 From: Fuzhong Liu Date: Wed, 3 Jun 2020 10:07:54 +0800 Subject: [PATCH] Update doc/getting-started/rt_industry_ubuntu.rst Co-authored-by: Geoffroy Van Cutsem --- doc/getting-started/rt_industry_ubuntu.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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.