Rebooting after an upgrade? - Was: update-manager --no-focus-on-map ??

[Ralf Mardorf]

On Sat, 2 Jan 2016 14:23:24 +0000, Tony Arnold wrote:
>Logging out should completely kill off and free up any applications
>started as part of the the login session.

Perhaps just logging in and out is needed. IIRC a jackd developer once
mentioned that jackd might not free memory, but I can't remember ever
to experience an issue, even after killing -9 jackd. I don't remember
if a reboot or logging out was recommended. I still remember that it
would be solvable without a log out or reboot, but it wasn't
explained, because it requires too much effort.

On Sat, 2 Jan 2016 15:24:09 +0100, Petter Adsen wrote:
> Why is it so important to you that people don't reboot unless
> absolutely necessary?

Because there is no reason to do so, it would be like suggesting to
turn the display off and on, after using the printer, it only stresses
the hardware without any benefit.

Liam mentioned

"sudo apt-get update ; sudo apt-get dist-upgrade -y

... then I generally reboot"

so I replied that this shouldn't be suggested.

>"if I'm prompted to reboot, then reboot"

That is what should be done.

Regards,
Ralf