Re: [PATCH] add option --file to gtags

[Shigio Yamaguchi]

> - When the file out of source tree is specified, warn about it and
> ignore the file.

I agree.

> - When the specified file does not exist (realpath failed), exit as failure.

I think it is enough to ignore such files with warning, because they are
not harmful to us.

> - Spaces are separator of path. Therefore, two or more files can be
> specified in one line.
> 
>     echo a.c b.c c.c | gtags --file=-

I think we should allow only newline as a separator, because we have
a plan like follows:

        o Allow spaces in path name of source files.

                derived from [Plans for the future]
                <http://www.gnu.org/software/global/plans.html>

(Currently GLOBAL cannot treat the path which includes spaces in it.)

Though it is difficult to implement, a lot of people hope for it.
If we allow space as a separator, above plan would become distant.
 
> - Path does not need to start with "./"

I agree.

> - The --file option is applicable also to incremental updating.
>   In order to show typical usage, a patch for linux-2.6.12.3 is attached.

I agree.

> langmap is used only by parser.

Doesn't the file list include the files which are not source file like
README, Makefile or so on? I think the file list include such files,
and gtags should decide whether a file is source file or not by referring
langmap as done so now. Because, soon or later, the file list should be
used by htags,
--
Shigio YAMAGUCHI <address@hidden> - Tama Communications Corporation
PGP fingerprint: D1CB 0B89 B346 4AB6 5663  C4B6 3CA5 BBB3 57BE DDA3