From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mailman by lists.gnu.org with archive (Exim 4.43) id 1LQkAh-0006q8-RK for mharc-grub-devel@gnu.org; Sat, 24 Jan 2009 10:11:43 -0500 Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43) id 1LQkAf-0006pQ-Q8 for grub-devel@gnu.org; Sat, 24 Jan 2009 10:11:41 -0500 Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43) id 1LQkAe-0006oe-8g for grub-devel@gnu.org; Sat, 24 Jan 2009 10:11:41 -0500 Received: from [199.232.76.173] (port=39475 helo=monty-python.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1LQkAe-0006ob-4n for grub-devel@gnu.org; Sat, 24 Jan 2009 10:11:40 -0500 Received: from 197.red-80-32-81.staticip.rima-tde.net ([80.32.81.197]:39721 helo=mail.pina.cat) by monty-python.gnu.org with esmtp (Exim 4.60) (envelope-from ) id 1LQkAd-0005NO-Ny for grub-devel@gnu.org; Sat, 24 Jan 2009 10:11:40 -0500 Received: from pinux (unknown [192.168.0.78]) by mail.pina.cat (Postfix) with ESMTP id 2B385288FBA3E for ; Sat, 24 Jan 2009 16:11:39 +0100 (CET) Received: by pinux (Postfix, from userid 1000) id 513D328F; Sat, 24 Jan 2009 16:11:37 +0100 (CET) Date: Sat, 24 Jan 2009 16:11:37 +0100 From: Carles Pina i Estany To: grub-devel@gnu.org Message-ID: <20090124151137.GA28897@pina.cat> References: <20090124124715.GA17347@pina.cat> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20090124124715.GA17347@pina.cat> User-Agent: Mutt/1.5.18 (2008-05-17) X-detected-operating-system: by monty-python.gnu.org: GNU/Linux 2.6 (newer, 3) Subject: Re: cat with pagination X-BeenThere: grub-devel@gnu.org X-Mailman-Version: 2.1.5 Precedence: list Reply-To: The development of GRUB 2 List-Id: The development of GRUB 2 List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Sat, 24 Jan 2009 15:11:42 -0000 Hello, On Jan/24/2009, Carles Pina i Estany wrote: > In Grub command line I really miss a cat with pagination (like > more/less). Any reason that it's not here? I don't remember if we > discussed it. Or it's there and I have not found. I've just remembered set pager=1 and cat /boot/grub/grub.cfg :-) (from Grub console) Maybe a "more" command that would setup the pager, cat and remove the pager would be interesting for people who doesn't know about pager? (so doing "TAB" would appear a new command) Cheers, -- Carles Pina i Estany GPG id: 0x17756391 http://pinux.info