Bonjour,
On Wed, Oct 07, 2020 at 06:00:42PM +0200, steve wrote:
> Bon et bien je m'y suis mis.
>
> Merci marc ;)
>
> Le 06-10-2020, à 16:41:34 +0200, Marc Chantreux a écrit :
> > par contre quand j'ai besoin de shells plus petits, j'utilise mksh, dash
> > et rc. selon ce que je cherche, donc, bash c'est soit trop lourd soit
> > pas assez intéressant.
Et moi je me suis mis à mksh ! Mais c'est vrai que c'est très léger
(même pour les besoins que j'ai) ; peut-être vais-je finalement migrer
sous ksh ?
Merci aussi :)
-f6k
--
~{,_,"> indignus LabRat - ftp://shl.huld.re
