[PD] shell external for raspberry pi aarch64

[Chris McCormick]

Hi,

On 31/10/23 3:58 pm, Roman Haefeli wrote:
> 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:


It appears I accidentally upgraded deken itself by installing 
`deken-externals` and now when I search for `command` it shows up. Cool 
object, thanks for sharing. I will use this instead of ggee/shell from 
now on.

Cheers,

Chris.

-- 
https://mccormick.cx/