Release Jed 0.99.18-1
Rafael Laboissiere
rafael at debian.org
Mon May 15 09:05:07 UTC 2006
* G. Milde <g.milde at web.de> [2006-05-15 10:19]:
> What we need is a double test: if /etc/jed-init.d/ exists *and* is empty,
> remove it.
>
> If one of you two could implement this in shell easily, I would be happy,
> as I am afraid my experience with shell programming is too small to find a
> good implementation in a limited time.
What about this:
if [ -d /etc/jed-init.d/ -a -z "$(ls /etc/jed-init.d/ 2>/dev/null)" ]; then
rmdir /etc/jed-init.d
fi
--
Rafael
More information about the Pkg-jed-devel
mailing list