On Sat, Sep 28, 2013 at 3:44 PM, Ben Finney <[email protected]> wrote: > Will this preinst script (attached) do the job correctly?
I think you should use "rm -rf" instead of "rmdir", as the latter will fail to remove non-empty directories. Otherwise it looks correct to me (additional testing won't hurt, of course). -- Dmitry Shachnev -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
