From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mailman by lists.gnu.org with archive (Exim 4.43) id 1LQhvH-0000ez-R6 for mharc-grub-devel@gnu.org; Sat, 24 Jan 2009 07:47:39 -0500 Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43) id 1LQhvG-0000es-7Q for grub-devel@gnu.org; Sat, 24 Jan 2009 07:47:38 -0500 Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43) id 1LQhvF-0000eC-Mv for grub-devel@gnu.org; Sat, 24 Jan 2009 07:47:37 -0500 Received: from [199.232.76.173] (port=57226 helo=monty-python.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1LQhvF-0000e3-Hs for grub-devel@gnu.org; Sat, 24 Jan 2009 07:47:37 -0500 Received: from 197.red-80-32-81.staticip.rima-tde.net ([80.32.81.197]:35593 helo=mail.pina.cat) by monty-python.gnu.org with esmtp (Exim 4.60) (envelope-from ) id 1LQhvE-00029t-Cx for grub-devel@gnu.org; Sat, 24 Jan 2009 07:47:37 -0500 Received: from pinux (unknown [192.168.0.78]) by mail.pina.cat (Postfix) with ESMTP id 6AF74288FBA3E for ; Sat, 24 Jan 2009 13:47:19 +0100 (CET) Received: by pinux (Postfix, from userid 1000) id CA2927C6CE; Sat, 24 Jan 2009 13:47:15 +0100 (CET) Date: Sat, 24 Jan 2009 13:47:15 +0100 From: Carles Pina i Estany To: grub-devel@gnu.org Message-ID: <20090124124715.GA17347@pina.cat> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline 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: 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 12:47:38 -0000 Hello, 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. Else I will implement it. Cheers, -- Carles Pina i Estany GPG id: 0x17756391 http://pinux.info