Sujet : Re: shells et opérations sur le texte
De : naddy (at) *nospam* mips.inka.de (Christian Weisgerber)
Groupes : fr.comp.os.unixDate : 23. Aug 2023, 17:18:42
Autres entêtes
Message-ID : <slrnuec8qi.akk.naddy@lorvorc.mips.inka.de>
References : 1
User-Agent : slrn/1.0.3 (FreeBSD)
On 2023-08-22, Thomas <
fantome.forums.tDeContes@free.fr.invalid> wrote:
il s'agit du script suivant :
>
#!/bin/sh -
fuseauHoraire="${fuseauHoraire:0:1} 10#${fuseauHoraire:1:2} *60*60"
Ce n'est pas du sh(1).
sur mon vieux mac, il fonctionnait sans pb.
Évidemment, ce /bin/sh a des extensions. C'est probablement un bash.
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.)
Oui, c'est une extension ksh93 et bash. J'imagine que /bin/sh sur
Ubuntu est un shell plus proche au minimum de POSIX.
est-ce que qqn pourrait m'expliquer svp ce qui se passe, comment ça
marche, et comment bien écrire les scripts pour faire ce que je veux, svp ?
Qu'est-ce que tu veux faire ?
Pour découper les chaînes de caractères en sh(1), il y a ${...%...}
(%%, #, ##) et expr(1).
-- Christian "naddy" Weisgerber naddy@mips.inka.de