On 2018-07-10, David Wright <deb...@lionunicorn.co.uk> wrote: You following up to Woolege:
Hmm, I struggle to see the connection between what I asked for and what you wrote. From your later post, I guess the answer is that editing /etc/debian_version risks provoking expletives from other users of the system. That said, I do agree with what you wrote. So there was an equivocal quality there, Dave, as to which of Woolege's articles "what you wrote" was referring (the one you were following up to above, or the "fucking" one below to which you alluded--so I *asked*, indicated by my question mark, which my tone may have rendered somehow accusatory). I do admit that I believed the latter interpretation without even considering the real possibility that it was indeed the former, probably because of a minor incident in the Latex/PDF thread we were both involved in a few moons ago, a can of beans not worth opening. The Woolege post: It is not a fucking configuration file that you edit. It is supposed to be read only. Only a crazy idiot would manually edit the file that tells you what version of the OS you're running. It would be like editing registry entries in Microsoft Windows to make it look like you're running a different version of Windows. Anyway, have a nice day.
