On Tue, 2023-10-31 at 15:06 +0800, Chris McCormick wrote:

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?

No. The package name is 'command'. This is how it looks like on a Raspberry Pi with

Rapsberry Pi OS (Bullseye) arm64:

Roman