Re: greffons libres pour shell zsh ou bash
On Wed, 2025-10-15 at 16:47 +0200, Marc Chantreux wrote:
> salut Basile,
>
> Le Wed, Oct 15, 2025 at 12:45:35PM +0200, Basile Starynkevitch a écrit :
> > Quelqu'un ici a-t-il dévelopé un ou des greffons en logiciel libre
> > pour les shells zsh (5.9) ou bash (5.3)
>
> > Je cherche des exemples de code source, et idéalement un greffon qui
> > permettrait de lancer une commande sur plusieurs lignes sans devoir
> > les terminer par un \
>
> hmm... et du coup il faudrait forcer l'usage du ; ?
> grep of * |
Je pense évidemment à des "shared libraries" comme greffons de shell.
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
multiline FINI /usr/bin/printf "%s"
1
2
3
$PATH
FINI
fonctionne comme la commande
/usr/bin/printf "%s" \
1 \
2 \
3 \
$PATH
(et donc il faudrait si nécessaire forcer un point-virgule après...)
C'est effectivement une question esthétique.
NB. j'avais autrefois donné en TD de programmation Linux à améliorer le shell sash.
Je me souviens que les étudiants m'ont trouvé "vache" alors que n'importe quel
programmeur débutantt en entreprise est affecté à contribuer à un logiciel (souvent propriétaire)
existant.
Cordialement
--
Basile STARYNKEVITCH <basile@starynkevitch.net>
8 rue de la Faïencerie http://starynkevitch.net/Basile/
92340 Bourg-la-Reine https://github.com/bstarynk
France https://github.com/RefPerSys/RefPerSys
https://orcid.org/0000-0003-0908-5250
Reply to: