From: Ben Pfaff <blp@cs.stanford.edu>
Date: Mon, 19 Jun 2006 21:52:52 +0000 (+0000)
Subject: Recommend zcat piping into tar x, instead of tar xzf, because some of
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=commitdiff_plain;h=82281a670902d91868eb968db65a8c0dc9b4e502

Recommend zcat piping into tar x, instead of tar xzf, because some of
the Leland machines don't have GNU tar and thus don't support "z".
---

diff --git a/doc/intro.texi b/doc/intro.texi
index afa067d..27ee2cb 100644
--- 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}