On 2022-12-19 Mo 15:09, Peter Eisentraut wrote: > On 19.12.22 19:33, Robert Haas wrote: >> On Mon, Dec 19, 2022 at 1:03 PM Tom Lane <t...@sss.pgh.pa.us> wrote: >>> Vik Fearing <v...@postgresfriends.org> writes: >>>> Perhaps a bit off-topic, but what is the point of the file >>>> identifiers? >>> >>> IMO, it helps to tell things apart when you've got a bunch of editor >>> windows open on some mighty samey-looking meson.build files. >> >> On the other hand, maintaining those identification lines in all of >> our files has a pretty high distributed cost. I never use them to >> figure out what file I'm editing because my editor can tell me that. >> But I do have to keep fixing those lines as I create new files. It's >> not the most annoying thing ever, but I wouldn't mind a bit if I >> didn't have to do it any more. > > I agree it's not very useful and a bit annoying.
Not sure I agree the cost is high, but yes it's not quite zero either. I can see a bit more value when it's used with files we have a lot of like meson.build. cheers andrew -- Andrew Dunstan EDB: https://www.enterprisedb.com