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

[pintos-anon] / doc / userprog.texi

diff --git a/doc/userprog.texi b/doc/userprog.texi
index 612bb81ba553166d0796c84a923155a7e404ce45..aaf75e2aead1b749589d786f55e7ef12555d592f 100644 (file)
--- a/doc/userprog.texi
+++ b/doc/userprog.texi
@@ -204,7 +204,7 @@ commands for copying files out of a VM are similar, but substitute
 @option{-g} for @option{-p}.
 
 Incidentally, these commands work by passing special commands
-@command{put} and @command{get} on the kernel's command line and copying
+@command{extract} and @command{append} on the kernel's command line and copying
 to and from a special simulated ``scratch'' disk.  If you're very
 curious, you can look at the @command{pintos} script as well as
 @file{filesys/fsutil.c} to learn the implementation details.