bash (sh) script

[Alexandr Malusek]

pali na tmapy.cz (Pavel Lisy) writes:

> Jak elegantně zjistit, že zda je daný parametr integer číslo.

Pouzil bych ksh - tento shell je snad na vsech SVR4 systemech; Linuxi
pdksh je s nim temer zcela kompatibilni:

#!/bin/ksh

if [[ $1 != +([0-9]) ]]; then
  echo "Usage: script number file ..."
  exit 1
fi

echo OK: $@

Prijde mi to celkem pruhledne: +([0-9]) znamena alespon jeden vyskyt
znaku z mnoziny [0-9].

--
A. Malusek  (malusek na ujf.cas.cz)
UJF AV CR