[PD] shell external for raspberry pi aarch64

[Chris McCormick]

On 31/10/23 2:52 am, Roman Haefeli wrote:
> 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.

If I type "command" into the Deken search I get `deken-externals` as the 
only result. If I install this package I can't instantiate `[command]` 
after it's installed. Is this the right package?

Chris.

-- 
https://mccormick.cx/