[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: |
Bruno Haible |
|
Subject: |
Re: GNU poke 2.90.0 on Linux/s390 and Linux/s390x |
|
Date: |
Tue, 24 Jan 2023 00:14:28 +0100 |
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}.
*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