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