Re: shells et opérations sur le texte

On Tue, 22 Aug 2023 14:43:50, Thomas <fantome.forums.tDeContes@free.fr.invalid> wrote:

fuseauHoraire="${fuseauHoraire:0:1} 10#${fuseauHoraire:1:2} *60*60"

Il se peut que ce genre de "parameter expansions" ne soient pas du POSIX
shell, mais du dialecte bash.

Dans ce cas, mettre

#! /bin/bash

au début du fichier. (oui, j'aime bien l'espace et ça marche quand même,
mais #!/bin/bash est plus classique).

Dans le monde d'aujourd'hui, une dépendance à /bin/bash ne me semble pas
bizarre.  Il y a très longtemps, on écrivait plutôt du code shell
simplifié pour la portabilité avec les UNIX un peu étranges. Ou on
passait à Perl.

sur mon nouveau pc, avec Ubuntu 22, il dit "Bad substitution".
Si je supprime "#!/bin/sh -", ça marche. (cad, si je comprend bien, si
je reste explicitement en bash.)

Ubuntu est basé sur Debian.

Debian a le concept d'alternative, qui permet à l'administrateur système
de décider si /bin/sh est un mini-shell très efficace et simplifié, ou
le gros /bin/bash.

Exemple ici:

   schaefer@reliant:~$ dpkg-divert --list | grep dash
   diversion of /usr/share/man/man1/sh.1.gz to /usr/share/man/man1/sh.distrib.1.gz by dash
   diversion of /bin/sh to /bin/sh.distrib by dash

/bin/sh est bien dash, pas bash.

C'est configurable à la main avec dpkg-divert (sous root), ou alors, de
mémoire avec dpkg-reconfigure -plow dash (également sous root).

Mais si tu mets /bin/bash dans le she-bang (#!), aucun problème.

--
Attention: limitez le nombre de lignes de citation à l'essentiel, sinon
je ne verrai pas votre réponse. Et si vous écrivez souvent des bobards,
je ne vous lirai plus et je recommanderai (NoCeM) de ne plus vous lire.