Use standard POSIX "ustar" format for the scratch disk.
[pintos-anon] / src / filesys / fsutil.h
index abebfe2e15bd5de697477fdb4c57c1c1df037356..cc7370568b23eb69e2f51fb8cd057139c0822511 100644 (file)
@@ -4,7 +4,7 @@
 void fsutil_ls (char **argv);
 void fsutil_cat (char **argv);
 void fsutil_rm (char **argv);
-void fsutil_put (char **argv);
-void fsutil_get (char **argv);
+void fsutil_extract (char **argv);
+void fsutil_append (char **argv);
 
 #endif /* filesys/fsutil.h */