Date: Sat, 5 Feb 2000 01:28:25 -0800 From: Michael Haro <mharo@area51.fremont.ca.us> To: Dmitry Sivachenko <dima@Chg.RU> Cc: asami@FreeBSD.ORG, ports@FreeBSD.ORG Subject: Re: About @dirrm Message-ID: <20000205012825.A97205@area51.fremont.ca.us> In-Reply-To: <200002011606.TAA13010@netserv1.chg.ru>; from dima@Chg.RU on Tue, Feb 01, 2000 at 07:06:20PM %2B0300 References: <vqcogak6br3.fsf@silvia.hip.berkeley.edu> <200002011606.TAA13010@netserv1.chg.ru>
next in thread | previous in thread | raw e-mail | index | archive | help
On Tue, Feb 01, 2000 at 07:06:20PM +0300, Dmitry Sivachenko wrote: > > > > As the handbook says, you can do something like > > > > @unexec rmdir %D/share/doc/gimp 2>/dev/null || true > > > > to remove the directory only if it is empty, and proceed quietly if it > > is not. > > Portlint comlains about it though. (use "@dirrm" instead of "@unexec rmdir")... This is a bug in portlint. I have a patch for this that I will be committing in the next few days. Michael To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe freebsd-ports" in the body of the message
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?20000205012825.A97205>