Re: dash as default /bin/sh and bashisms-free archive RGs

To: debian-devel@lists.debian.org
Subject: Re: dash as default /bin/sh and bashisms-free archive RGs
From: md@Linux.IT (Marco d'Itri)
Date: Sun, 12 Apr 2009 21:58:48 +0200
Message-id: <[🔎] 20090412195848.GA24504@bongo.bofh.it>
Mail-followup-to: debian-devel@lists.debian.org
In-reply-to: <[🔎] 20090412194523.GA10736@connexer.com>
References: <[🔎] 200904121359.09387.atomo64@gmail.com> <[🔎] 20090412193537.GA23916@bongo.bofh.it> <[🔎] 20090412194523.GA10736@connexer.com>

On Apr 12, "Roberto C. Sánchez" <roberto@connexer.com> wrote:

> Policy specifically states that use of "local" is permitted [0]:
So exactly what do you want to disallow which is supported by dash but
not by policy, and for which purpose?

-- 
ciao,
Marco

Attachment: signature.asc
Description: Digital signature

Reply to:

Follow-Ups:
- Re: dash as default /bin/sh and bashisms-free archive RGs
  - From: Raphael Geissert <atomo64+debian@gmail.com>

References:
- dash as default /bin/sh and bashisms-free archive RGs
  - From: Raphael Geissert <atomo64@gmail.com>
- Re: dash as default /bin/sh and bashisms-free archive RGs
  - From: md@Linux.IT (Marco d'Itri)
- Re: dash as default /bin/sh and bashisms-free archive RGs
  - From: Roberto C. Sánchez <roberto@connexer.com>

Prev by Date: Re: dash as default /bin/sh and bashisms-free archive RGs
Next by Date: Re: dash as default /bin/sh and bashisms-free archive RGs
Previous by thread: Re: dash as default /bin/sh and bashisms-free archive RGs
Next by thread: Re: dash as default /bin/sh and bashisms-free archive RGs
Index(es):
- Date
- Thread