From 33ec8810eea89dbe181c5abe4705f52b27b52707 Mon Sep 17 00:00:00 2001 From: Xi Ruoyao Date: Mon, 14 Oct 2024 22:02:13 +0800 Subject: [PATCH] grub: Use "file system" instead of "filesystem" We've had the consensus on this since David's cleanup. --- chapter08/grub.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/chapter08/grub.xml b/chapter08/grub.xml index 0710c4a37..b301d4f5a 100644 --- a/chapter08/grub.xml +++ b/chapter08/grub.xml @@ -177,7 +177,7 @@ mv -v /etc/bash_completion.d/grub /usr/share/bash-completion/completions grub-fstest - Is a tool to debug the filesystem driver + Is a tool to debug the file system driver grub-fstest