Sujet : Re: shells et opérations sur le texte
De : schaefer (at) *nospam* alphanet.ch (Marc SCHAEFER)
Groupes : fr.comp.os.unixDate : 23. Aug 2023, 16:09:51
Autres entêtes
Organisation : Posted through news.alphanet.ch
Message-ID : <uc57fv$tga$1@shakotay.alphanet.ch>
References : 1
User-Agent : tin/2.4.3-20181224 ("Glen Mhor") (UNIX) (Linux/4.19.0-25-amd64 (x86_64))
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, sinonje 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.
Haut de la page
Les messages affichés proviennent d'usenet.
NewsPortal