summaryrefslogtreecommitdiff
path: root/Master
diff options
context:
space:
mode:
Diffstat (limited to 'Master')
-rwxr-xr-xMaster/texmf/scripts/texlive/texdoc.tlu16
1 files changed, 8 insertions, 8 deletions
diff --git a/Master/texmf/scripts/texlive/texdoc.tlu b/Master/texmf/scripts/texlive/texdoc.tlu
index 50f6e254de9..74997538713 100755
--- a/Master/texmf/scripts/texlive/texdoc.tlu
+++ b/Master/texmf/scripts/texlive/texdoc.tlu
@@ -372,10 +372,10 @@ function setup_config_from_cl ()
set_config_element ('mode', 'search')
elseif (curr_arg == '-r') or (curr_arg == '--regex') then
set_config_element ('mode', 'regex')
- elseif (curr_arg == '-I') or (curr_arg == '--nointeractive') then
- set_config_element('interactive_switch', 'false')
- elseif (curr_arg == '-i') or (curr_arg == '--interactive') then
- set_config_element('interactive_switch', 'true')
+ elseif (curr_arg == '-I') or (curr_arg == '--nointeract') then
+ set_config_element('interact_switch', 'false')
+ elseif (curr_arg == '-i') or (curr_arg == '--interact') then
+ set_config_element('interact_switch', 'true')
elseif (curr_arg == '-A') or (curr_arg == '--noalias') then
set_config_element('alias_switch', 'false')
elseif (curr_arg == '-a') or (curr_arg == '--alias') then
@@ -594,7 +594,7 @@ function setup_config_from_defaults()
-- then various stuff
set_config_list {
mode = 'view',
- interactive_switch = 'true',
+ interact_switch = 'true',
noise_level = '3',
}
-- must be set after mode!
@@ -706,7 +706,7 @@ function display_table (t, offset)
offset = offset or 0
table.sort(t, file_order)
for i, val in ipairs (t) do
- if config.interactive_switch then
+ if config.interact_switch then
print (i+offset, real_path(val))
else
print (real_path(val))
@@ -719,7 +719,7 @@ function print_menu (files, comp)
comp = comp or {}
max_lines = tonumber (config.max_lines) or 20
local f = #files
- if config.interactive_switch then
+ if config.interact_switch then
local n = f + #comp
if n > max_lines then
io.write (n, " results. Display them all? (y/N) ")
@@ -729,7 +729,7 @@ function print_menu (files, comp)
end
display_table (files)
display_table (comp, f)
- if config.interactive_switch then
+ if config.interact_switch then
io.write ("Please enter the number of the file to view, ",
"anything else to skip: ")
local num = tonumber(io.read('*line'))