[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: GNU poke 2.90.0 on Linux/s390 and Linux/s390x
|
From: |
Jose E. Marchesi |
|
Subject: |
Re: GNU poke 2.90.0 on Linux/s390 and Linux/s390x |
|
Date: |
Tue, 24 Jan 2023 00:20:28 +0100 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) |
> Hi José,
>
>> > But once installed, the binary does not work:
>>
>> Hm both cases fail because some installed poke script (.pk) is not being
>> found.
>>
>> Are they being installed in $pkgdatadir/poke/ ? (like
>> /usr/local/share/poke/poke )
>>
>> When poke runs uninstalled (which works) it reads the $POKEDATADIR,
>> $POKEAPPDIR from environment variables.
>
> I don't have these environment variables set when I run the installed binary.
>
>> When poke runs installed (which seems to not work) it bases all these
>> values on the value of the cpp constant PKGDATADIR, which is passed in
>> poke_CPPFLAGS with -DPKGDATADIR=\"$(pkgdatadir)\" \
>
> OK, let me take a look at this directory $PREFIX/share/poke:
>
> From the interaction log below you can see that
> * An older version installed its *.pk files in $PREFIX/share/poke/.
> This version installs its *.pk files in
> $PREFIX/share/poke/poke/
> $PREFIX/share/poke/poked/
> $PREFIX/share/poke/maps/
> $PREFIX/share/poke/pickles/
> * When the new poke is run, it reads only some of the older *.pk files.
>
> Since the older and newer version are a year apart, they are not
> compatible; this explains the crash.
>
> So, the malfunction is a consequence of two facts:
> (1) "make install" does not erase old installed *.pk files in
> $PREFIX/share/poke/.
> (2) When poke looks up a .pk file, it apparently does so in a way that
> — at least on this machine — gives preference to
> $PREFIX/share/poke/${basename} over $PREFIX/share/poke/poke/${basename}.
(2) is intended. The poke incremental compiler runtime (which is
written in Poke itself) and the Poke standard library are in
$PREFIX/share/poke.
The idea is that $PREFIX/share/poke is shared among all the "pokeish"
programs, in this way:
$PREFIX/share/poke/
Contains the libpoke runtime (that is necessary to implement the
language) and also the Poke standard library.
$PREFIX/share/poke/pickles/
Contains pickles that only rely on the standard library, and
therefore can be used by any pokeish application.
$PREFIX/share/poke/APPLICATION/
Contains Poke scripts that are specific to particular applications.
poke (the program) is just one of these applications. Others are
poked, GDB+poke integration, etc.
>
> *Note:* Use of 'ls -lu' prints wrong timestamps for ext4 volumes mounted
> with option 'relatime'. Since 'relatime' is the default, the way to get
> correct timestamps is to
> 1. change /etc/fstab, by adding option 'strictatime' to all ext4 mounts,
> 2. reboot (or remount the file system if possible),
> 3. use 'ls -lu'.
>
> Bruno
>
> ========================== Interaction log =============================
> $ ls -l `find share/poke -type f`
> -rw-r--r-- 1 bruno bruno 1671 Jan 23 22:37 share/poke/maps/dwarf.map
> -rw-r--r-- 1 bruno bruno 115 Jan 23 22:37 share/poke/maps/elf.map
> -rw-r--r-- 1 bruno bruno 126 Jan 23 22:37 share/poke/maps/mp3.map
> -rw-r--r-- 1 bruno bruno 6494 Feb 7 2022 share/poke/nodelist
> -rw-r--r-- 1 bruno bruno 4952 Jan 23 22:37 share/poke/pickles/argp.pk
> -rw-r--r-- 1 bruno bruno 7358 Jan 23 22:37 share/poke/pickles/asn1-ber.pk
> -rw-r--r-- 1 bruno bruno 3439 Jan 23 22:37 share/poke/pickles/bmp.pk
> -rw-r--r-- 1 bruno bruno 6330 Jan 23 22:37 share/poke/pickles/bpf.pk
> -rw-r--r-- 1 bruno bruno 5056 Jan 23 22:37 share/poke/pickles/btf-dump.pk
> -rw-r--r-- 1 bruno bruno 5644 Jan 23 22:37 share/poke/pickles/btf-ext.pk
> -rw-r--r-- 1 bruno bruno 6829 Jan 23 22:37 share/poke/pickles/btf.pk
> -rw-r--r-- 1 bruno bruno 1184 Jan 23 22:37
> share/poke/pickles/coff-aarch64.pk
> -rw-r--r-- 1 bruno bruno 2351 Jan 23 22:37 share/poke/pickles/coff-i386.pk
> -rw-r--r-- 1 bruno bruno 7195 Jan 23 22:37 share/poke/pickles/coff.pk
> -rw-r--r-- 1 bruno bruno 2841 Jan 23 22:37 share/poke/pickles/color.pk
> -rw-r--r-- 1 bruno bruno 5415 Jan 23 22:37 share/poke/pickles/ctf-dump.pk
> -rw-r--r-- 1 bruno bruno 8971 Jan 23 22:37 share/poke/pickles/ctf.pk
> -rw-r--r-- 1 bruno bruno 10035 Jan 23 22:37 share/poke/pickles/diff.pk
> -rw-r--r-- 1 bruno bruno 2410 Jan 23 22:37
> share/poke/pickles/dwarf-common.pk
> -rw-r--r-- 1 bruno bruno 11388 Jan 23 22:37 share/poke/pickles/dwarf-expr.pk
> -rw-r--r-- 1 bruno bruno 7671 Jan 23 22:37 share/poke/pickles/dwarf-frame.pk
> -rw-r--r-- 1 bruno bruno 12256 Jan 23 22:37 share/poke/pickles/dwarf-info.pk
> -rw-r--r-- 1 bruno bruno 908 Jan 23 22:37 share/poke/pickles/dwarf.pk
> -rw-r--r-- 1 bruno bruno 2117 Jan 23 22:37
> share/poke/pickles/dwarf-pubnames.pk
> -rw-r--r-- 1 bruno bruno 1838 Jan 23 22:37 share/poke/pickles/dwarf-types.pk
> -rw-r--r-- 1 bruno bruno 7840 Jan 23 22:37 share/poke/pickles/elf-32.pk
> -rw-r--r-- 1 bruno bruno 9077 Jan 23 22:37 share/poke/pickles/elf-64.pk
> -rw-r--r-- 1 bruno bruno 13892 Jan 23 22:37 share/poke/pickles/elf-common.pk
> -rw-r--r-- 1 bruno bruno 1342 Jan 23 22:37 share/poke/pickles/elf.pk
> -rw-r--r-- 1 bruno bruno 4953 Jan 23 22:37 share/poke/pickles/id3v1.pk
> -rw-r--r-- 1 bruno bruno 2920 Jan 23 22:37 share/poke/pickles/id3v2.pk
> -rw-r--r-- 1 bruno bruno 2278 Jan 23 22:37 share/poke/pickles/ieee754.pk
> -rw-r--r-- 1 bruno bruno 8540 Jan 23 22:37 share/poke/pickles/ios.pk
> -rw-r--r-- 1 bruno bruno 17869 Jan 23 22:37 share/poke/pickles/jffs2.pk
> -rw-r--r-- 1 bruno bruno 2873 Jan 23 22:37 share/poke/pickles/leb128.pk
> -rw-r--r-- 1 bruno bruno 2889 Jan 23 22:37 share/poke/pickles/mbr.pk
> -rw-r--r-- 1 bruno bruno 6647 Jan 23 22:37 share/poke/pickles/mcr.pk
> -rw-r--r-- 1 bruno bruno 8542 Jan 23 22:37 share/poke/pickles/openpgp.pk
> -rw-r--r-- 1 bruno bruno 2360 Jan 23 22:37 share/poke/pickles/pcap.pk
> -rw-r--r-- 1 bruno bruno 8851 Jan 23 22:37 share/poke/pickles/pdap.pk
> -rw-r--r-- 1 bruno bruno 1382 Jan 23 22:37 share/poke/pickles/pe-amd64.pk
> -rw-r--r-- 1 bruno bruno 1638 Jan 23 22:37 share/poke/pickles/pe-arm64.pk
> -rw-r--r-- 1 bruno bruno 1357 Jan 23 22:37 share/poke/pickles/pe-arm.pk
> -rw-r--r-- 1 bruno bruno 1807 Jan 23 22:37 share/poke/pickles/pe-debug.pk
> -rw-r--r-- 1 bruno bruno 1163 Jan 23 22:37 share/poke/pickles/pe-i386.pk
> -rw-r--r-- 1 bruno bruno 1781 Jan 23 22:37 share/poke/pickles/pe-ia64.pk
> -rw-r--r-- 1 bruno bruno 1303 Jan 23 22:37 share/poke/pickles/pe-m32r.pk
> -rw-r--r-- 1 bruno bruno 1416 Jan 23 22:37 share/poke/pickles/pe-mips.pk
> -rw-r--r-- 1 bruno bruno 35343 Jan 23 22:37 share/poke/pickles/pe.pk
> -rw-r--r-- 1 bruno bruno 1379 Jan 23 22:37 share/poke/pickles/pe-ppc.pk
> -rw-r--r-- 1 bruno bruno 878 Jan 23 22:37 share/poke/pickles/pe-riscv.pk
> -rw-r--r-- 1 bruno bruno 1710 Jan 23 22:37 share/poke/pickles/pe-sh3.pk
> -rw-r--r-- 1 bruno bruno 3506 Jan 23 22:37 share/poke/pickles/pk-table.pk
> -rw-r--r-- 1 bruno bruno 2285 Jan 23 22:37 share/poke/pickles/pktest.pk
> -rw-r--r-- 1 bruno bruno 7932 Jan 23 22:37 share/poke/pickles/redoxfs.pk
> -rw-r--r-- 1 bruno bruno 1617 Jan 23 22:37 share/poke/pickles/rgb24.pk
> -rw-r--r-- 1 bruno bruno 25750 Jan 23 22:37 share/poke/pickles/riscv.pk
> -rw-r--r-- 1 bruno bruno 1973 Jan 23 22:37 share/poke/pickles/search.pk
> -rw-r--r-- 1 bruno bruno 2098 Jan 23 22:37 share/poke/pickles/sframe-dump.pk
> -rw-r--r-- 1 bruno bruno 7549 Jan 23 22:37 share/poke/pickles/sframe.pk
> -rw-r--r-- 1 bruno bruno 2751 Jan 23 22:37 share/poke/pickles/time.pk
> -rw-r--r-- 1 bruno bruno 2054 Jan 23 22:37 share/poke/pickles/ustar.pk
> -rw-r--r-- 1 bruno bruno 1485 Jan 23 22:37 share/poke/pickles/uuid.pk
> -rw-r--r-- 1 bruno bruno 902 Feb 7 2022 share/poke/pk-cmd.pk
> -rw-r--r-- 1 bruno bruno 3147 Feb 7 2022 share/poke/pk-copy.pk
> -rw-r--r-- 1 bruno bruno 7457 Feb 7 2022 share/poke/pk-dump.pk
> -rw-r--r-- 1 bruno bruno 1575 Feb 7 2022 share/poke/pk-extract.pk
> -rw-r--r-- 1 bruno bruno 9817 Feb 7 2022 share/poke/pk-help.pk
> -rw-r--r-- 1 bruno bruno 3401 Feb 7 2022 share/poke/pk-hserver.pk
> -rw-r--r-- 1 bruno bruno 3983 Feb 7 2022 share/poke/pk-info.pk
> -rw-r--r-- 1 bruno bruno 39638 Jan 23 22:37 share/poke/pkl-rt.pk
> -rw-r--r-- 1 bruno bruno 1739 Feb 7 2022 share/poke/pk-map.pk
> -rw-r--r-- 1 bruno bruno 2924 Feb 7 2022 share/poke/pk-save.pk
> -rw-r--r-- 1 bruno bruno 3723 Feb 7 2022 share/poke/pk-scrabble.pk
> -rw-r--r-- 1 bruno bruno 17548 Feb 7 2022 share/poke/pk-settings.pk
> -rw-r--r-- 1 bruno bruno 3135 Feb 7 2022 share/poke/pk-table.pk
> -rw-r--r-- 1 bruno bruno 1389 Feb 7 2022 share/poke/poke-bright.css
> -rw-r--r-- 1 bruno bruno 1387 Feb 7 2022 share/poke/poke-dark.css
> -rw-r--r-- 1 bruno bruno 1220 Feb 28 2021 share/poke/poke-default.css
> -rw-r--r-- 1 bruno bruno 5276 Jan 23 22:37
> share/poke/poked/pk-dump-minimal.pk
> -rw-r--r-- 1 bruno bruno 9805 Jan 23 22:37 share/poke/poked/poked.pk
> -rw-r--r-- 1 bruno bruno 6628 Jan 23 22:37 share/poke/poke/nodelist
> -rw-r--r-- 1 bruno bruno 2422 Feb 7 2022 share/poke/poke.pk
> -rw-r--r-- 1 bruno bruno 927 Jan 23 22:37 share/poke/poke/pk-cmd.pk
> -rw-r--r-- 1 bruno bruno 2326 Jan 23 22:37 share/poke/poke/pk-copy.pk
> -rw-r--r-- 1 bruno bruno 2314 Jan 23 22:37 share/poke/poke/pk-diff.pk
> -rw-r--r-- 1 bruno bruno 3970 Jan 23 22:37 share/poke/poke/pk-dump.pk
> -rw-r--r-- 1 bruno bruno 1768 Jan 23 22:37 share/poke/poke/pk-extract.pk
> -rw-r--r-- 1 bruno bruno 9876 Jan 23 22:37 share/poke/poke/pk-help.pk
> -rw-r--r-- 1 bruno bruno 3407 Jan 23 22:37 share/poke/poke/pk-hserver.pk
> -rw-r--r-- 1 bruno bruno 4476 Jan 23 22:37 share/poke/poke/pk-info.pk
> -rw-r--r-- 1 bruno bruno 1745 Jan 23 22:37 share/poke/poke/pk-map.pk
> -rw-r--r-- 1 bruno bruno 2552 Jan 23 22:37 share/poke/poke/pk-save.pk
> -rw-r--r-- 1 bruno bruno 3755 Jan 23 22:37 share/poke/poke/pk-scrabble.pk
> -rw-r--r-- 1 bruno bruno 20683 Jan 23 22:37 share/poke/poke/pk-settings.pk
> -rw-r--r-- 1 bruno bruno 1981 Jan 23 22:37 share/poke/poke/pk-tracer.pk
> -rw-r--r-- 1 bruno bruno 1547 Jan 23 22:37 share/poke/poke/poke-bright.css
> -rw-r--r-- 1 bruno bruno 1545 Jan 23 22:37 share/poke/poke/poke-dark.css
> -rw-r--r-- 1 bruno bruno 2989 Jan 23 22:37 share/poke/poke/poke.pk
> -rw-r--r-- 1 bruno bruno 627459 Jan 23 22:37 share/poke/poke/poke.text
> -rw-r--r-- 1 bruno bruno 559539 Feb 7 2022 share/poke/poke.text
> -rw-r--r-- 1 bruno bruno 13465 Jan 23 22:37 share/poke/std.pk
> -rw-r--r-- 1 bruno bruno 1265 Jan 23 22:37 share/poke/std-types.pk
>
> $ date; bin/poke; date; ls -lrtu --full-time `find share/poke -type f`
> Mon Jan 23 23:58:31 CET 2023
> _____
> ---' __\_______
> ______) GNU poke 2.90.0
> __)
> __)
> ---._______)
>
> Copyright (C) 2019-2022 The poke authors.
> License GPLv3+: GNU GPL version 3 or later.
> This is free software: you are free to change and redistribute it.
> There is NO WARRANTY, to the extent permitted by law.
>
> Powered by Jitter 0.9.291.
> Perpetrated by Jose E. Marchesi.
>
> For help, type ".help".
> Type ".exit" to leave the program.
> poke: ../../poke/poke.c:311: pk_var_int: Assertion `val != 0x7ULL' failed.
> Mon Jan 23 23:58:32 CET 2023
> -rw-r--r-- 1 bruno bruno 1220 2021-02-28 20:38:13.963110049 +0100
> share/poke/poke-default.css
> -rw-r--r-- 1 bruno bruno 6494 2022-02-07 02:36:14.309756221 +0100
> share/poke/nodelist
> -rw-r--r-- 1 bruno bruno 559539 2022-02-07 02:36:14.373756221 +0100
> share/poke/poke.text
> -rw-r--r-- 1 bruno bruno 1387 2022-02-07 02:36:39.345756221 +0100
> share/poke/poke-dark.css
> -rw-r--r-- 1 bruno bruno 1389 2022-02-07 02:36:39.357756221 +0100
> share/poke/poke-bright.css
> -rw-r--r-- 1 bruno bruno 115 2023-01-23 22:37:31.273257518 +0100
> share/poke/maps/elf.map
> -rw-r--r-- 1 bruno bruno 126 2023-01-23 22:37:31.277257518 +0100
> share/poke/maps/mp3.map
> -rw-r--r-- 1 bruno bruno 1671 2023-01-23 22:37:31.277257518 +0100
> share/poke/maps/dwarf.map
> -rw-r--r-- 1 bruno bruno 13892 2023-01-23 22:37:31.925257518 +0100
> share/poke/pickles/elf-common.pk
> -rw-r--r-- 1 bruno bruno 1342 2023-01-23 22:37:31.933257518 +0100
> share/poke/pickles/elf.pk
> -rw-r--r-- 1 bruno bruno 9077 2023-01-23 22:37:31.933257518 +0100
> share/poke/pickles/elf-64.pk
> -rw-r--r-- 1 bruno bruno 7840 2023-01-23 22:37:31.933257518 +0100
> share/poke/pickles/elf-32.pk
> -rw-r--r-- 1 bruno bruno 8971 2023-01-23 22:37:31.937257518 +0100
> share/poke/pickles/ctf.pk
> -rw-r--r-- 1 bruno bruno 5415 2023-01-23 22:37:31.937257518 +0100
> share/poke/pickles/ctf-dump.pk
> -rw-r--r-- 1 bruno bruno 2873 2023-01-23 22:37:31.941257518 +0100
> share/poke/pickles/leb128.pk
> -rw-r--r-- 1 bruno bruno 6829 2023-01-23 22:37:31.941257518 +0100
> share/poke/pickles/btf.pk
> -rw-r--r-- 1 bruno bruno 6330 2023-01-23 22:37:31.941257518 +0100
> share/poke/pickles/bpf.pk
> -rw-r--r-- 1 bruno bruno 5644 2023-01-23 22:37:31.945257518 +0100
> share/poke/pickles/btf-ext.pk
> -rw-r--r-- 1 bruno bruno 5056 2023-01-23 22:37:31.945257518 +0100
> share/poke/pickles/btf-dump.pk
> -rw-r--r-- 1 bruno bruno 1617 2023-01-23 22:37:31.949257518 +0100
> share/poke/pickles/rgb24.pk
> -rw-r--r-- 1 bruno bruno 2841 2023-01-23 22:37:31.949257518 +0100
> share/poke/pickles/color.pk
> -rw-r--r-- 1 bruno bruno 3439 2023-01-23 22:37:31.949257518 +0100
> share/poke/pickles/bmp.pk
> -rw-r--r-- 1 bruno bruno 3506 2023-01-23 22:37:31.953257518 +0100
> share/poke/pickles/pk-table.pk
> -rw-r--r-- 1 bruno bruno 8540 2023-01-23 22:37:31.953257518 +0100
> share/poke/pickles/ios.pk
> -rw-r--r-- 1 bruno bruno 4953 2023-01-23 22:37:31.953257518 +0100
> share/poke/pickles/id3v1.pk
> -rw-r--r-- 1 bruno bruno 10035 2023-01-23 22:37:31.953257518 +0100
> share/poke/pickles/diff.pk
> -rw-r--r-- 1 bruno bruno 7549 2023-01-23 22:37:31.957257518 +0100
> share/poke/pickles/sframe.pk
> -rw-r--r-- 1 bruno bruno 2098 2023-01-23 22:37:31.961257518 +0100
> share/poke/pickles/sframe-dump.pk
> -rw-r--r-- 1 bruno bruno 908 2023-01-23 22:37:31.961257518 +0100
> share/poke/pickles/dwarf.pk
> -rw-r--r-- 1 bruno bruno 2117 2023-01-23 22:37:31.965257518 +0100
> share/poke/pickles/dwarf-pubnames.pk
> -rw-r--r-- 1 bruno bruno 7671 2023-01-23 22:37:31.965257518 +0100
> share/poke/pickles/dwarf-frame.pk
> -rw-r--r-- 1 bruno bruno 2410 2023-01-23 22:37:31.965257518 +0100
> share/poke/pickles/dwarf-common.pk
> -rw-r--r-- 1 bruno bruno 2751 2023-01-23 22:37:31.969257518 +0100
> share/poke/pickles/time.pk
> -rw-r--r-- 1 bruno bruno 1838 2023-01-23 22:37:31.969257518 +0100
> share/poke/pickles/dwarf-types.pk
> -rw-r--r-- 1 bruno bruno 4952 2023-01-23 22:37:31.969257518 +0100
> share/poke/pickles/argp.pk
> -rw-r--r-- 1 bruno bruno 2054 2023-01-23 22:37:31.973257518 +0100
> share/poke/pickles/ustar.pk
> -rw-r--r-- 1 bruno bruno 2285 2023-01-23 22:37:31.973257518 +0100
> share/poke/pickles/pktest.pk
> -rw-r--r-- 1 bruno bruno 2889 2023-01-23 22:37:31.973257518 +0100
> share/poke/pickles/mbr.pk
> -rw-r--r-- 1 bruno bruno 6647 2023-01-23 22:37:31.977257518 +0100
> share/poke/pickles/mcr.pk
> -rw-r--r-- 1 bruno bruno 12256 2023-01-23 22:37:31.977257518 +0100
> share/poke/pickles/dwarf-info.pk
> -rw-r--r-- 1 bruno bruno 11388 2023-01-23 22:37:31.977257518 +0100
> share/poke/pickles/dwarf-expr.pk
> -rw-r--r-- 1 bruno bruno 17869 2023-01-23 22:37:31.981257518 +0100
> share/poke/pickles/jffs2.pk
> -rw-r--r-- 1 bruno bruno 2920 2023-01-23 22:37:31.981257518 +0100
> share/poke/pickles/id3v2.pk
> -rw-r--r-- 1 bruno bruno 1973 2023-01-23 22:37:31.985257518 +0100
> share/poke/pickles/search.pk
> -rw-r--r-- 1 bruno bruno 25750 2023-01-23 22:37:31.985257518 +0100
> share/poke/pickles/riscv.pk
> -rw-r--r-- 1 bruno bruno 8542 2023-01-23 22:37:31.985257518 +0100
> share/poke/pickles/openpgp.pk
> -rw-r--r-- 1 bruno bruno 7358 2023-01-23 22:37:31.985257518 +0100
> share/poke/pickles/asn1-ber.pk
> -rw-r--r-- 1 bruno bruno 7195 2023-01-23 22:37:31.989257518 +0100
> share/poke/pickles/coff.pk
> -rw-r--r-- 1 bruno bruno 2351 2023-01-23 22:37:32.045257518 +0100
> share/poke/pickles/coff-i386.pk
> -rw-r--r-- 1 bruno bruno 1184 2023-01-23 22:37:32.049257518 +0100
> share/poke/pickles/coff-aarch64.pk
> -rw-r--r-- 1 bruno bruno 35343 2023-01-23 22:37:32.053257518 +0100
> share/poke/pickles/pe.pk
> -rw-r--r-- 1 bruno bruno 1357 2023-01-23 22:37:32.053257518 +0100
> share/poke/pickles/pe-arm.pk
> -rw-r--r-- 1 bruno bruno 1638 2023-01-23 22:37:32.053257518 +0100
> share/poke/pickles/pe-arm64.pk
> -rw-r--r-- 1 bruno bruno 1382 2023-01-23 22:37:32.053257518 +0100
> share/poke/pickles/pe-amd64.pk
> -rw-r--r-- 1 bruno bruno 1379 2023-01-23 22:37:32.057257518 +0100
> share/poke/pickles/pe-ppc.pk
> -rw-r--r-- 1 bruno bruno 1416 2023-01-23 22:37:32.057257518 +0100
> share/poke/pickles/pe-mips.pk
> -rw-r--r-- 1 bruno bruno 1303 2023-01-23 22:37:32.057257518 +0100
> share/poke/pickles/pe-m32r.pk
> -rw-r--r-- 1 bruno bruno 1781 2023-01-23 22:37:32.057257518 +0100
> share/poke/pickles/pe-ia64.pk
> -rw-r--r-- 1 bruno bruno 1163 2023-01-23 22:37:32.057257518 +0100
> share/poke/pickles/pe-i386.pk
> -rw-r--r-- 1 bruno bruno 1710 2023-01-23 22:37:32.061257518 +0100
> share/poke/pickles/pe-sh3.pk
> -rw-r--r-- 1 bruno bruno 878 2023-01-23 22:37:32.061257518 +0100
> share/poke/pickles/pe-riscv.pk
> -rw-r--r-- 1 bruno bruno 1807 2023-01-23 22:37:32.061257518 +0100
> share/poke/pickles/pe-debug.pk
> -rw-r--r-- 1 bruno bruno 1485 2023-01-23 22:37:32.065257518 +0100
> share/poke/pickles/uuid.pk
> -rw-r--r-- 1 bruno bruno 7932 2023-01-23 22:37:32.065257518 +0100
> share/poke/pickles/redoxfs.pk
> -rw-r--r-- 1 bruno bruno 2360 2023-01-23 22:37:32.065257518 +0100
> share/poke/pickles/pcap.pk
> -rw-r--r-- 1 bruno bruno 2278 2023-01-23 22:37:32.065257518 +0100
> share/poke/pickles/ieee754.pk
> -rw-r--r-- 1 bruno bruno 8851 2023-01-23 22:37:32.069257518 +0100
> share/poke/pickles/pdap.pk
> -rw-r--r-- 1 bruno bruno 927 2023-01-23 22:37:43.085257518 +0100
> share/poke/poke/pk-cmd.pk
> -rw-r--r-- 1 bruno bruno 2552 2023-01-23 22:37:43.089257518 +0100
> share/poke/poke/pk-save.pk
> -rw-r--r-- 1 bruno bruno 3970 2023-01-23 22:37:43.089257518 +0100
> share/poke/poke/pk-dump.pk
> -rw-r--r-- 1 bruno bruno 1768 2023-01-23 22:37:43.093257518 +0100
> share/poke/poke/pk-extract.pk
> -rw-r--r-- 1 bruno bruno 2314 2023-01-23 22:37:43.093257518 +0100
> share/poke/poke/pk-diff.pk
> -rw-r--r-- 1 bruno bruno 2326 2023-01-23 22:37:43.093257518 +0100
> share/poke/poke/pk-copy.pk
> -rw-r--r-- 1 bruno bruno 2989 2023-01-23 22:37:43.097257518 +0100
> share/poke/poke/poke.pk
> -rw-r--r-- 1 bruno bruno 20683 2023-01-23 22:37:43.097257518 +0100
> share/poke/poke/pk-settings.pk
> -rw-r--r-- 1 bruno bruno 3755 2023-01-23 22:37:43.097257518 +0100
> share/poke/poke/pk-scrabble.pk
> -rw-r--r-- 1 bruno bruno 1981 2023-01-23 22:37:43.101257518 +0100
> share/poke/poke/pk-tracer.pk
> -rw-r--r-- 1 bruno bruno 1745 2023-01-23 22:37:43.101257518 +0100
> share/poke/poke/pk-map.pk
> -rw-r--r-- 1 bruno bruno 4476 2023-01-23 22:37:43.101257518 +0100
> share/poke/poke/pk-info.pk
> -rw-r--r-- 1 bruno bruno 3407 2023-01-23 22:37:43.101257518 +0100
> share/poke/poke/pk-hserver.pk
> -rw-r--r-- 1 bruno bruno 9876 2023-01-23 22:37:43.101257518 +0100
> share/poke/poke/pk-help.pk
> -rw-r--r-- 1 bruno bruno 9805 2023-01-23 22:37:45.393257518 +0100
> share/poke/poked/poked.pk
> -rw-r--r-- 1 bruno bruno 5276 2023-01-23 22:37:45.397257518 +0100
> share/poke/poked/pk-dump-minimal.pk
> -rw-r--r-- 1 bruno bruno 6628 2023-01-23 22:37:46.605257518 +0100
> share/poke/poke/nodelist
> -rw-r--r-- 1 bruno bruno 627459 2023-01-23 22:37:46.613257518 +0100
> share/poke/poke/poke.text
> -rw-r--r-- 1 bruno bruno 1545 2023-01-23 22:37:51.133257518 +0100
> share/poke/poke/poke-dark.css
> -rw-r--r-- 1 bruno bruno 1547 2023-01-23 22:37:51.137257518 +0100
> share/poke/poke/poke-bright.css
> -rw-r--r-- 1 bruno bruno 39638 2023-01-23 23:58:31.420890715 +0100
> share/poke/pkl-rt.pk
> -rw-r--r-- 1 bruno bruno 13465 2023-01-23 23:58:31.688890715 +0100
> share/poke/std.pk
> -rw-r--r-- 1 bruno bruno 1265 2023-01-23 23:58:31.728890715 +0100
> share/poke/std-types.pk
> -rw-r--r-- 1 bruno bruno 3401 2023-01-23 23:58:31.748890715 +0100
> share/poke/pk-hserver.pk
> -rw-r--r-- 1 bruno bruno 3135 2023-01-23 23:58:31.796890715 +0100
> share/poke/pk-table.pk
> -rw-r--r-- 1 bruno bruno 3983 2023-01-23 23:58:31.804890715 +0100
> share/poke/pk-info.pk
> -rw-r--r-- 1 bruno bruno 9817 2023-01-23 23:58:31.820890715 +0100
> share/poke/pk-help.pk
> -rw-r--r-- 1 bruno bruno 1739 2023-01-23 23:58:31.824890715 +0100
> share/poke/pk-map.pk
> -rw-r--r-- 1 bruno bruno 2422 2023-01-23 23:58:31.860890715 +0100
> share/poke/poke.pk
> -rw-r--r-- 1 bruno bruno 17548 2023-01-23 23:58:31.860890715 +0100
> share/poke/pk-settings.pk
> -rw-r--r-- 1 bruno bruno 7457 2023-01-23 23:58:32.068890715 +0100
> share/poke/pk-dump.pk
> -rw-r--r-- 1 bruno bruno 3147 2023-01-23 23:58:32.072890715 +0100
> share/poke/pk-copy.pk
> -rw-r--r-- 1 bruno bruno 2924 2023-01-23 23:58:32.076890715 +0100
> share/poke/pk-save.pk
> -rw-r--r-- 1 bruno bruno 1575 2023-01-23 23:58:32.076890715 +0100
> share/poke/pk-extract.pk
> -rw-r--r-- 1 bruno bruno 3723 2023-01-23 23:58:32.088890715 +0100
> share/poke/pk-scrabble.pk
> -rw-r--r-- 1 bruno bruno 902 2023-01-23 23:58:32.088890715 +0100
> share/poke/pk-cmd.pk