[Gretl-users] Re: How can I eradicate a function permanently?
On Thu, Jun 12, 2025 at 10:45 AM Sven Schreiber
<sven.schreiber(a)fu-berlin.de> wrote:
Am 11.06.2025 um 17:10 schrieb Riccardo (Jack) Lucchetti:
>> On Tue, Jun 10, 2025 at 5:20 AM Paolo Chirico
>> <paolo.chirico(a)uniupo.it> wrote:
>>>
>>> Dear all,
>>> I have just deleted a package I created for testing. However, the main
>>> (public) function contained in the package seems to still exist, and
>>> gretl prevents me from creating a new one with the same name.
>>> I have even uninstalled gretl and installed the latest version, but the
>>> function still exists even though the package no longer appears in the
>>> package list.
>>> How can I eradicate it permanently?
>
> Paolo, are you saving to a session file? Functions that were defined
> at the time of saving are restored when the session file is re-opened.
>
> Could that be the case?
That's a very clever and plausible hypothesis, I wasn't really aware of
this behavior. Let's see if Paolo confirms this.
Yes, clever. One other possibility occurs to me. We support installing
function packages to two locations: the "system" one (likely under
/usr/share/gretl on Linux or Program Files\gretl on Windows) or a "per
user" one (under @dotdir). Suppose a package gets installed in both
locations: in that case the intended behavior is that gretl takes the
more recent one. But I'm not quite sure what happens when you delete
the package -- maybe only one copy actually gets destroyed. (However,
unlike Jack's suggestion, that would not explain why Paolo's function
is defined when gretl starts up, so my money is on his idea.)
Allin