From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 27210 invoked by alias); 12 Dec 2002 21:03:11 -0000 Mailing-List: contact gdb-patches-help@sources.redhat.com; run by ezmlm Precedence: bulk List-Subscribe: List-Archive: List-Post: List-Help: , Sender: gdb-patches-owner@sources.redhat.com Received: (qmail 27145 invoked from network); 12 Dec 2002 21:03:09 -0000 Received: from unknown (HELO touchme.toronto.redhat.com) (216.138.202.10) by sources.redhat.com with SMTP; 12 Dec 2002 21:03:09 -0000 Received: from redhat.com (toocool.toronto.redhat.com [172.16.14.72]) by touchme.toronto.redhat.com (Postfix) with ESMTP id 5414880018D; Thu, 12 Dec 2002 16:03:09 -0500 (EST) Message-ID: <3DF8F98D.9070104@redhat.com> Date: Thu, 12 Dec 2002 14:58:00 -0000 From: "J. Johnston" Organization: Red Hat Inc. User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.0.1) Gecko/20020823 Netscape/7.0 X-Accept-Language: en-us, en MIME-Version: 1.0 To: Eli Zaretskii Cc: ezannoni@redhat.com, gdb-patches@sources.redhat.com Subject: Re: Proposed patch for gdb/mi 741 References: <3DF64046.2000004@redhat.com> <7263-Tue10Dec2002221810+0200-eliz@is.elta.co.il> Content-Type: multipart/mixed; boundary="------------050202070400000702050500" X-SW-Source: 2002-12/txt/msg00405.txt.bz2 This is a multi-part message in MIME format. --------------050202070400000702050500 Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit Content-length: 1143 Eli Zaretskii wrote: >>Date: Tue, 10 Dec 2002 14:28:06 -0500 >>From: "J. Johnston" >> >>>The doco patch is approved, with one minor gripe: you don't really >>>explain the syntax of adding multiple directories. One of the examples >>>suggests that they should be separated by a colon, but that's probably >>>not true for the DOS/Windows ports, where a semicolon should be used, >>>right? I suggest to add something about this to the doco. >>> >> >>Actually, the multiple directories are input on the command, >>separated by blanks > > > See what I mean? ;-) > > >>(this is defined by the syntax of the command). The separator found in >>the output of the command is dependenent on the system. I have modified the >>doc slightly to add examples that specify more than one directory separated >>by a blank. Is that sufficient to handle your concern? > > > It's better, but I'd prefer that the text said explicitly that > multiple directories should be separated by blanks. > > (This, of course, raises the issue of directories whose names include > blanks ;-) See the latest attached version. -- Jeff J. --------------050202070400000702050500 Content-Type: text/plain; name="741.doc.patch" Content-Transfer-Encoding: 7bit Content-Disposition: inline; filename="741.doc.patch" Content-length: 3920 Index: gdbmi.texinfo =================================================================== RCS file: /cvs/src/src/gdb/mi/gdbmi.texinfo,v retrieving revision 1.30 diff -u -r1.30 gdbmi.texinfo --- gdbmi.texinfo 11 Nov 2002 17:09:50 -0000 1.30 +++ gdbmi.texinfo 12 Dec 2002 20:58:09 -0000 @@ -1665,10 +1665,25 @@ @subsubheading Synopsis @example - -environment-directory @var{pathdir} + -environment-directory [ -r ] [ @var{pathdir} ]+ @end example -Add directory @var{pathdir} to beginning of search path for source files. +Add directories @var{pathdir} to beginning of search path for source files. +If the @samp{-r} option is used, the search path is reset to the default +search path. If directories @var{pathdir} are supplied in addition to the +@samp{-r} option, the search path is first reset and then addition +occurs as normal. +Multiple directories may be specified, separated by blanks. Specifying +multiple directories in a single command +results in the directories added to the beginning of the +search path in the same order they were presented in the command. +If blanks are needed as +part of a directory name, double-quotes should be used around +the name. In the command output, the path will show up separated +by the system directory-separator character. The directory-seperator +character must not be used +in any directory name. +If no directories are specified, the current search path is displayed. @subsubheading @value{GDBN} Command @@ -1679,7 +1694,16 @@ @smallexample (@value{GDBP}) -environment-directory /kwikemart/marge/ezannoni/flathead-dev/devo/gdb -^done +^done,source-path="/kwikemart/marge/ezannoni/flathead-dev/devo/gdb:$cdir:$cwd" +(@value{GDBP}) +-environment-directory "" +^done,source-path="/kwikemart/marge/ezannoni/flathead-dev/devo/gdb:$cdir:$cwd" +(@value{GDBP}) +-environment-directory -r /home/jjohnstn/src/gdb /usr/src +^done,source-path="/home/jjohnstn/src/gdb:/usr/src:$cdir:$cwd" +(@value{GDBP}) +-environment-directory -r +^done,source-path="$cdir:$cwd" (@value{GDBP}) @end smallexample @@ -1690,10 +1714,27 @@ @subsubheading Synopsis @example - -environment-path ( @var{pathdir} )+ + -environment-path [ -r ] [ @var{pathdir} ]+ @end example Add directories @var{pathdir} to beginning of search path for object files. +If the @samp{-r} option is used, the search path is reset to the original +search path that existed at gdb start-up. If directories @var{pathdir} are +supplied in addition to the +@samp{-r} option, the search path is first reset and then addition +occurs as normal. +Multiple directories may be specified, separated by blanks. Specifying +multiple directories in a single command +results in the directories added to the beginning of the +search path in the same order they were presented in the command. +If blanks are needed as +part of a directory name, double-quotes should be used around +the name. In the command output, the path will show up separated +by the system directory-separator character. The directory-seperator +character must not be used +in any directory name. +If no directories are specified, the current path is displayed. + @subsubheading @value{GDBN} Command @@ -1703,8 +1744,14 @@ @smallexample (@value{GDBP}) --environment-path /kwikemart/marge/ezannoni/flathead-dev/ppc-eabi/gdb -^done +-environment-path +^done,path="/usr/bin" +(@value{GDBP}) +-environment-path /kwikemart/marge/ezannoni/flathead-dev/ppc-eabi/gdb /bin +^done,path="/kwikemart/marge/ezannoni/flathead-dev/ppc-eabi/gdb:/bin:/usr/bin" +(@value{GDBP}) +-environment-path -r /usr/local/bin +^done,path="/usr/local/bin:/usr/bin" (@value{GDBP}) @end smallexample @@ -1729,8 +1776,7 @@ @smallexample (@value{GDBP}) -environment-pwd -~Working directory /kwikemart/marge/ezannoni/flathead-dev/devo/gdb. -^done +^done,cwd="/kwikemart/marge/ezannoni/flathead-dev/devo/gdb" (@value{GDBP}) @end smallexample --------------050202070400000702050500--