Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tr: quote argument;
authorwenzelm
Thu, 21 Feb 2002 10:25:00 +0100
changeset 12912 0e144958cf27
parent 12911 704713ca07ea
child 12913 5ac498bffb6b
tr: quote argument;
lib/Tools/usedir file | annotate | diff | comparison | revisions 
--- a/lib/Tools/usedir	Thu Feb 21 09:54:08 2002 +0100
+++ b/lib/Tools/usedir	Thu Feb 21 10:25:00 2002 +0100
@@ -51,7 +51,7 @@
 
 function check_number()
 {
-  [ -n "$1" -a -z "$(echo "$1" | tr -d [0-9])" ] || fail "Bad number: \"$1\""
+  [ -n "$1" -a -z "$(echo "$1" | tr -d '[0-9]')" ] || fail "Bad number: \"$1\""
 }
isabelle