diff --git a/gdb/doc/gdb.texinfo b/gdb/doc/gdb.texinfo index 8f31f45..fbad9fe 100644 --- a/gdb/doc/gdb.texinfo +++ b/gdb/doc/gdb.texinfo @@ -964,7 +964,7 @@ Connect to process ID @var{number}, as with the @code{attach} command. @cindex @code{--command} @cindex @code{-x} Execute commands from file @var{file}. The contents of this file is -evaluated exactly as if it was evaluated using the @code{source} command. +evaluated exactly as the @code{source} command would. @xref{Command Files,, Command files}. @item -eval-command @var{command} @@ -18907,17 +18907,19 @@ Python scripting language. To facilitate the use of these extensions, @value{GDBN} is capable of evaluating the contents of a file. When doing so, @value{GDBN} -can recognize which scripting language is being used by exploiting +can recognize which scripting language is being used by looking at the filename extension. Files with an unrecognized filename extension -are always treated as a @value{GDBN} Command Files. To control how GDB -evaluates these files, the following setting can be used: +are always treated as a @value{GDBN} Command Files. +@xref{Command Files,, Command files}. + +You can control how @value{GDBN} evaluates these files with the following +setting: @table @code @kindex set script-extension @kindex show script-extension @item set script-extension off All scripts are always evaluated as @value{GDBN} Command Files. -@xref{Command Files,, Command files}. @item set script-extension soft The debugger determines the scripting language based on filename @@ -19475,7 +19477,7 @@ interpreter: @table @code @item source @file{script-name} -The script name must end with @samp{.py} and GDB must be configured +The script name must end with @samp{.py} and @value{GDBN} must be configured to recognize the script language based on filename extension using the @code{script-extension} setting. @xref{Extending GDB, ,Extending GDB}.