linker_unload

[Herbert Valerio Riedel]

On 2014-11-25 at 08:23:04 +0100, Karel Gardas wrote:
> On 11/25/14 08:18 AM, Herbert Valerio Riedel wrote:
>> Would it be possible to update your `sudo apt-get update`&  `sudo
>> apt-get dist-upgrade` your Linux environment with the latest bugfixes to
>> Ubuntu 12.04.5? That way we can be sure it's not a subtle bug already
>> fixed upstream...
>
> I'm not sure, but IMHO this will lead to upgrade to 14.04.1. What you
> should use is probably
> `sudo apt-get update` &  `sudo apt-get upgrade`

http://askubuntu.com/questions/215267/will-apt-get-dist-upgrade-upgrade-my-system-to-newer-version

TLDR: no, `apt-get dist-upgrade` will not ugrade away from the 12.04.x branch