Skip to content

Instantly share code, notes, and snippets.

@jaka
Created November 5, 2016 19:42
Show Gist options
  • Save jaka/30577c8fec5a65fc0515dceb60906940 to your computer and use it in GitHub Desktop.
Save jaka/30577c8fec5a65fc0515dceb60906940 to your computer and use it in GitHub Desktop.
is_number() {
case "$1" in
""|*[!0-9]*) return 1 ;;
*) return 0 ;;
esac
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment