diff options
Diffstat (limited to 'indexing/xindex/scripts/xindex.lua')
-rwxr-xr-x | indexing/xindex/scripts/xindex.lua | 16 |
1 files changed, 15 insertions, 1 deletions
diff --git a/indexing/xindex/scripts/xindex.lua b/indexing/xindex/scripts/xindex.lua index a54fe953c1..b20996aabe 100755 --- a/indexing/xindex/scripts/xindex.lua +++ b/indexing/xindex/scripts/xindex.lua @@ -10,7 +10,7 @@ ----------------------------------------------------------------------- xindex = xindex or { } - local version = 0.41 + local version = 0.43 xindex.version = version --xindex.self = "xindex" @@ -56,6 +56,7 @@ local args = require ('xindex-lapp') [[ -p,--prefix (default L) -u,--use_UCA -s,--use_stdin + -V,--version <files...> (default stdin) .idx file(s) ]] @@ -66,6 +67,10 @@ local args = require ('xindex-lapp') [[ Three -v flags, v is { true, true, true } ]] +if args.version then + print("xindex version "..xindex.version) +end + vlevel = not args.v[1] and 0 or #args.v not_quiet = not args["quiet"] @@ -98,6 +103,15 @@ end require('xindex-baselib') local nInFiles = #args.files + +-- print(#args.files,args.files_name[1]) + +if not useStdInput and not args.files_name then + print("Use option -s for StdIn or define an input data file!") + os.exit() +end + + if not useStdInput then if vlevel == 3 then print(tostring(nInFiles).." input file(s): ") |