hello rouca,

On Mon, Feb 23, 2026 at 12:15:30PM +0100, [email protected] wrote:
> Welcome on board

so many thanks!

> >  saw a debconf 2024 talk about it and this is important in the academic
> >  world)
> Paper on this topic are welcome it is a hot research topic.

I have no experience at all in it.

> >* I don't know how popular this take is but I really would like to help
> >  replacing bash and coreutils by busybox in the debian core (I think I'm a
> >  pretty good dash programmer and I can ensure 90% of the scripts I
> >  reviewed don't need bash at all).
> You could replace by dash

is there a consensus to target this shell? I'll be more than happy to
chase any bash remains.

regards

-- 
Marc Chantreux
Pôle CESAR (Calcul et services avancés à la recherche)
Université de Strasbourg
☎  03.68.85.60.79

Reply via email to