Re: [PATCH v2] docs: Add missing assumption

[Glenn Washburn]

On Mon, 3 Jul 2023 22:02:41 -0500
Oskari Pirhonen <xxc3ncoredxx@gmail.com> wrote:

> On Mon, Jul 03, 2023 at 20:01:15 -0500, Glenn Washburn wrote:
> > Also reword a prior sentence to be more clear.
> > 
> > Fixes: 5a3d2b4742df (docs: Add debugging chapter to development 
> > documentation)
> > Signed-off-by: Glenn Washburn <development@efficientek.com>
> > ---
> > Changes from v1:
> >  * Rebased onto latest master
> > ---
> >  docs/grub-dev.texi | 7 ++++---
> >  1 file changed, 4 insertions(+), 3 deletions(-)
> > 
> > diff --git a/docs/grub-dev.texi b/docs/grub-dev.texi
> > index 0834ca562ad6..84d19dece9d6 100644
> > --- a/docs/grub-dev.texi
> > +++ b/docs/grub-dev.texi
> > @@ -660,10 +660,11 @@ GDB is started from the @file{grub-core} directory in 
> > the GRUB2 build
> >  directory. GRUB2 developers have made this more simple by including a GDB
> >  script which does much of the setup. This file is at 
> > @file{grub-core/gdb_grub}
> >  in the build directory and is also installed via @command{make install}.
> > -If not building GRUB, the distribution may have a package which installs
> > +When using a pre-built GRUB, the distribution may have a package which 
> > installs
> >  this GDB script along with debug symbol binaries, such as Debian's
> > -@samp{grub-pc-dbg} package. The GDB script is intended to be used
> > -like so, assuming:
> > +@samp{grub-pc-dbg} package. The GDB scripts is intended to by used
> 
> Did you intentionally reintroduce the last 's' that I removed from "GDB
> scripts"?

Nope, I'll correct that.

Glenn

> 
> - Oskari
> 
> > +like so, assuming that @samp{/path/to/script} is the path to the directory
> > +containing the gdb_grub script and debug symbol files:
> >  
> >  @example
> >  cd $(dirname /path/to/script/gdb_grub)
> > -- 
> > 2.34.1
> >