Am 22.03.2019 um 18:49 schrieb Allin Cottrell:
 On Fri, 22 Mar 2019, Sven Schreiber wrote: 
>
> So why is overwriting OK permission-wise, but deleting is not?
 It's OK to install a newer version of a package into one's personal
 filespace. This won't overwrite an older version installed via
 gretl_install, but it'll take precedence. If actual overwriting is
 possible than deletion would also be possible. 
Right, I see.
However, the gretl installer doesn't install contributed packages (with
a few exceptions, perhaps), right? So the question is, where did the
packages come from, and ended up in a place from which now they cannot
be deleted anymore? I cannot rule out that in the past I have done some
funny things with permissions and stuff, but I'll keep an eye open.
thanks
sven