Log-out Log6 July 2008
I attempted to log out of a web-site, and was logged-out of my local Linux session! This logging-out baffled me, because there shouldn't have been any way for a log-out command to have been passed to the local shell, and none of the associated strings from the site were valid log-out commands for that shell.
Well, the joint logging-out was basically chance coïncidental. An inspection of a log file suggested that, in the wake of the most recent up-dates to the Red Hat software, I needed to get a new driver for my graphics adapter. I should have reälized this sooner, as various processes had become far less responsive, and all of these involved display.