From bccf9d96986fc6aa170876e12f162e86641a5db8 Mon Sep 17 00:00:00 2001
From: erg <erg@ubuntubox.(none)>
Date: Wed, 22 Oct 2008 20:28:30 -0500
Subject: [PATCH] add device-name and type to file-system-info

---
 basis/unix/statfs/linux/linux.factor | 8 ++++++--
 core/io/files/files.factor           | 2 +-
 2 files changed, 7 insertions(+), 3 deletions(-)

diff --git a/basis/unix/statfs/linux/linux.factor b/basis/unix/statfs/linux/linux.factor
index caf2e8334c..5e6e5360ef 100644
--- a/basis/unix/statfs/linux/linux.factor
+++ b/basis/unix/statfs/linux/linux.factor
@@ -34,6 +34,10 @@ frequency pass-number ;
 
 M: linux mounted
     parse-mtab [
-        mount-point>>
-        [ file-system-info ] keep >>name
+        [ mount-point>> file-system-info ] keep
+        {
+            [ file-system-name>> >>device-name ]
+            [ mount-point>> >>name ]
+            [ type>> >>type ]
+        } cleave
     ] map ;
diff --git a/core/io/files/files.factor b/core/io/files/files.factor
index fd45343043..f643f4ca3c 100644
--- a/core/io/files/files.factor
+++ b/core/io/files/files.factor
@@ -184,7 +184,7 @@ SYMBOL: +unknown+
 
 ! File-system
 
-TUPLE: file-system-info name free-space ;
+TUPLE: file-system-info device-name name type free-space ;
 
 HOOK: file-system-info os ( path -- file-system-info )