On Mon, Nov 7, 2022 at 5:30 AM Sven Schreiber
<sven.schreiber(a)fu-berlin.de> wrote:
with gretl 2022c (don't know about other versions) I cannot get the package
"DP" by Uriel RodrÃguez RamÃrez to show up in the package list window for the
local machine. It is shown in the window for the packages on the server, and "include
DP.gfn" also works OK (and says that the package lives in $dotdir/functions/
alright).
Asking gretl to install the package via the GUI didn't change anything, and I just
tried on the console "pkg install DP.gfn" which led to gretl crashing (on
Windows 10) -- OK, apparently this together with the .gfn extension is the wrong command
format, so this is a separate issue.
'pkg install DP' on the console returns a success message, but in the package
list window there's still no DP.
I can't replicate any of this using current git on Linux. That is,
"pkg install DP.gfn" installs the package OK, and DP then shows up in
the local listing OK.
I'll have to try this on Windows.
Allin