Re: greffons libres pour shell zsh ou bash
Le Wed, Oct 15, 2025 at 04:53:38PM +0200, Basile Starynkevitch a écrit :
> Je pense évidemment à des "shared libraries" comme greffons de shell.
moi j'aurais plutôt joué avec la zle (un readline en mieux mais intégré
dans zsh) et avec le fait que le modifier z split une chaine en tokens
script='
for it (is a demo) echo "$it is a world"
hostname
ls
'
print -l ${(z)script}
;
for
it
(
is
a
demo
)
echo
"$it is a world"
;
hostname
;
ls
;
> En fait pour des raisons de lisibilité je souhaiterais (si c'est facilement faisable)
> étendre un shell (bash ou zsh) avec un nouveau builtin (appelons le multiline) de sorte que
bon ... on va quand meme parler des solutions qui existent
en dash
x='
1
2
3
4
5
'
printf '%s\n' $x
<<% xargs printf '%s\n'
1
2
3
4
5
%
en zsh tu auras en plus:
x=(
{1-3}
un tableau'
2 metres
)
printf '%s\n' $x
printf '* %s\n' ${(f):-
1
2
3
4
5
}
> (et donc il faudrait si nécessaire forcer un point-virgule après...)
> C'est effectivement une question esthétique.
en pratique, le fonctionnement actuel est pas mal :)
regarde du coté de zed. je crois que c'est un module.
Cordialement,
Marc
Reply to: