On Mon, 2023-10-30 at 18:21 +0100, Edwin van der Heide wrote:
Is there an alternative 64 bit version of a shell object available for the PI or is there another way to go?
There is the [command] external, which is a fork of [ggee/shell] and is meant as its successor. It's available for Raspberry Pi (32 and 64 bit) through Deken.
Roman