[PD] shell external for raspberry pi aarch64

[Edwin van der Heide]

Dear Roman,

Thanks a lot for this tip!

I’m now studying how to easily parse its output.

Best,

Edwin

> On 30 Oct 2023, at 19:52, Roman Haefeli <reduzent at gmail.com> wrote:
> 
> 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
> 
> _______________________________________________
> Pd-list at lists.iem.at mailing list
> UNSUBSCRIBE and account-management -> https://lists.puredata.info/listinfo/pd-list