Re: where is the shell external (was [PD] Linux: changing sound card params from patch, sending OS commands)