Hi Marc Yes but I have a check to check if "$RANDOM" is an empty string... This should work... At least it has done that in the past.
// Ola On Tue, 11 Jun 2024 at 21:35, Marc Haber <mh+debian-b...@zugschlus.de> wrote: > > On Tue, Jun 11, 2024 at 08:12:27PM +0200, Ola Lundqvist wrote: > > Certainly. If you know those I'm happy to fix them. > > > > I thought I had fixed them all already. > > The one that jumped to my mind is $RANDOM which doesnt work in dash. > > I would recommend just using /bin/bash in the shebang line. At least > that's what I do since I'd rather not delve into those shell details too > deeply. > > Greetings > Marc > > > -- > ----------------------------------------------------------------------------- > Marc Haber | "I don't trust Computers. They | Mailadresse im Header > Leimen, Germany | lose things." Winona Ryder | Fon: *49 6224 1600402 > Nordisch by Nature | How to make an American Quilt | Fax: *49 6224 1600421 -- --- Inguza Technology AB --- MSc in Information Technology ---- | o...@inguza.com o...@debian.org | | http://inguza.com/ Mobile: +46 (0)70-332 1551 | ---------------------------------------------------------------
