Subject: bug#45087: closed (Re: [bug#45087] [PATCH] Improve documentation for supported file systems)

From: [email-masked] (GNU bug Tracking System)
Date: Sun, 06 Dec 2020 23:45:02 +0000

Your bug report

#45087: [PATCH] Improve documentation for supported file systems

which was filed against the guix-patches package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to [email-masked].

-- 
45087: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=45087
GNU Bug Tracking System
Contact [email-masked] with problems

Subject: Re: [bug#45087] [PATCH] Improve documentation for supported file systems
From: Tobias Geerinckx-Rice <[email-masked]>
To: Hugo Thiessard <[email-masked]>
Cc: [email-masked]
Date: Mon, 07 Dec 2020 00:44:42 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

Hugo,

Thanks for testing.  I added a commit message following our rules 
(and a comma) and pushed your change as 
<https://git.savannah.gnu.org/cgit/guix.git/commit/?id=a889e6a9bfb35641ef66950df414145bb92fa938>.

Kind regards,

T G-R

Subject: [PATCH] Improve documentation for supported file systems
From: Hugo Thiessard <[email-masked]>
To: [email-masked]
Cc: Hugo Thiessard <[email-masked]>
Date: Sun, 06 Dec 2020 19:04:29 +0000
List-Id: <debbugs-submit.debbugs.gnu.org>

---
Should we add this information in the 10.3 File Systems section of the manual ?
In file-system > type

 doc/guix.texi | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/doc/guix.texi b/doc/guix.texi
index a5c9779c86..fe44247d76 100644
--- a/doc/guix.texi
+++ b/doc/guix.texi
@@ -2383,9 +2383,9 @@ bootloaders.
 
 Once you are done partitioning the target hard disk drive, you have to
 create a file system on the relevant partition(s)@footnote{Currently
-Guix System only supports ext4, btrfs, and JFS file systems.  In particular,
-code that reads file system UUIDs and labels only works for these file system
-types.}.  For the ESP, if you have one and assuming it is
+Guix System only supports ext4, btrfs, JFS and F2FS file systems.  In
+particular, code that reads file system UUIDs and labels only works for these
+file system types.}.  For the ESP, if you have one and assuming it is
 @file{/dev/sda1}, run:
 
 @example
-- 
2.29.2