From owner-freebsd-ports Fri Jun 1 3:29:36 2001 Delivered-To: freebsd-ports@freebsd.org Received: from heinz.jollem.com (c104187.upc-c.chello.nl [212.187.104.187]) by hub.freebsd.org (Postfix) with ESMTP id 5585037B423 for ; Fri, 1 Jun 2001 03:29:33 -0700 (PDT) (envelope-from ernst@heinz.jollem.com) Received: (from ernst@localhost) by heinz.jollem.com (8.11.3/8.11.3) id f51ARpX15523 for ports@freebsd.org; Fri, 1 Jun 2001 12:27:51 +0200 (CEST) (envelope-from ernst) Date: Fri, 1 Jun 2001 12:27:51 +0200 From: Ernst de Haan To: ports@freebsd.org Subject: Supporting pkg-plist.gz ? Message-ID: <20010601122750.A15514@c187104187.telekabel.chello.nl> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.2.5i Sender: owner-freebsd-ports@FreeBSD.ORG Precedence: bulk List-ID: List-Archive: (Web Archive) List-Help: (List Instructions) List-Subscribe: List-Unsubscribe: X-Loop: FreeBSD.org Hi, Wouldn't it be a good idea to modify the ports system to support a gzipped pkg-plist file, and perhaps others too? I'm working on a port for the JDK 1.2 documentation, and the pkg-plist file is 300 K !!! Even if ppl would not install this port, the 300 K would still be used. We could decrease the space needed for the ports collection dramatically, without sacrificing any i-nodes. /Ernst -- Ernst de Haan Java Architect Jollem Information Technology "Come to me all who are weary and burdened and I will give you rest" -- Jesus Christ To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe freebsd-ports" in the body of the message