Use standard POSIX "ustar" format for the scratch disk.

[pintos-anon] / doc / filesys.texi

diff --git a/doc/filesys.texi b/doc/filesys.texi
index 2567d6ae38c39b4f3162d944ac101d96805e4960..eb2ba766bf8ec675d36746cf0bb268c06374328b 100644 (file)
--- a/doc/filesys.texi
+++ b/doc/filesys.texi
@@ -303,7 +303,7 @@ are straightforward once the above syscalls are implemented.
 We have also provided @command{pwd}, which is not so straightforward.
 The @command{shell} program implements @command{cd} internally.
 
-The @code{pintos} @option{put} and @option{get} commands should now
+The @code{pintos} @option{extract} and @option{append} commands should now
 accept full path names, assuming that the directories used in the
 paths have already been created.  This should not require any significant
 extra effort on your part.