Recommend zcat piping into tar x, instead of tar xzf, because some of

[pintos-anon] / doc / intro.texi

diff --git a/doc/intro.texi b/doc/intro.texi
index afa067d86a659ba7e828bd6664702a25925cc22f..27ee2cbd11c409d051fd1fbd27f380582825221a 100644 (file)
--- a/doc/intro.texi
+++ b/doc/intro.texi
@@ -82,7 +82,7 @@ you log in.
 Now you can extract the source for Pintos into a directory named
 @file{pintos/src}, by executing
 @example
-tar xzf /usr/class/cs140/pintos/pintos.tar.gz
+zcat /usr/class/cs140/pintos/pintos.tar.gz | tar x
 @end example
 Alternatively, fetch
 @uref{http://@/www.stanford.edu/@/class/@/cs140/@/pintos/@/pintos.@/tar.gz}