On 2022-12-19 13:33:46 -0500, 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.
+1