Re: "file name" vs "filename"

> A "file name" is the file's name. It is a property of a file, like the > inode or size. The name exists (or not) regardless of whether we know > what it is. > > A "filename" is a syntactic element, the thing itself, a string of > characters. It is supplied as input or rendered as output.

Re: "file name" vs "filename"

On Sat, 15 Apr 2023 00:00:44 +0200 (CEST) Gerald Pfeifer wrote: > On Mon, 2 Apr 2018, Joseph Myers wrote: > > See the GNU Coding Standards: > > > > Please do not use the term ``pathname'' that is used in Unix > > documentation; use ``file name'' (two words) instead. We use the > > term ``pa

Re: "file name" vs "filename"

On Sun, 1 Apr 2018, Sandra Loosemore wrote: >> Our docs currently are about even and I think it would be good to >> settle on one? >> >>   % grep "filename" $GCC/gcc/doc/*.texi | wc -l >>   92 >>   % grep "file name" $GCC/gcc/doc/*.texi | wc -l >>   103 >> >> (Once

Re: "file name" vs "filename"

On 2018-04-02 12:11:33 +, Joseph Myers wrote: > On Sun, 1 Apr 2018, Gerald Pfeifer wrote: > > > And now to the most important question of all. ;-) Should we use > > "file name" or "filename" when referring to the name of a file? > > See the GNU Coding Standards: > > Please do not use the

Re: "file name" vs "filename"

On 04/01/2018 04:54 PM, Sandra Loosemore wrote: On 04/01/2018 02:56 PM, Joel Sherrill wrote: On Sun, Apr 1, 2018, 3:16 PM Gerald Pfeifer mailto:ger...@pfeifer.com>> wrote: And now to the most important question of all. ;-) Should we use "file name" or "filename" when referring to the

Re: "file name" vs "filename"

On Sun, 1 Apr 2018, Gerald Pfeifer wrote: > And now to the most important question of all. ;-) Should we use > "file name" or "filename" when referring to the name of a file? See the GNU Coding Standards: Please do not use the term ``pathname'' that is used in Unix documentation; use ``file

Re: "file name" vs "filename"

On 04/01/2018 02:56 PM, Joel Sherrill wrote: On Sun, Apr 1, 2018, 3:16 PM Gerald Pfeifer > wrote: And now to the most important question of all. ;-)  Should we use "file name" or "filename" when referring to the name of a file? Our docs currently are ab

Re: "file name" vs "filename"

On Sun, Apr 1, 2018, 3:16 PM Gerald Pfeifer wrote: > And now to the most important question of all. ;-) Should we use > "file name" or "filename" when referring to the name of a file? > > Our docs currently are about even and I think it would be good to > settle on one? > > % grep "filename" $