On Thu, Nov 12, 2015 at 9:19 AM, <silver.bullet at zoho.com> wrote: > PS: What "updater" is used? Perhaps the updater ignores apt settings. > Software Updater is the name. Version: update-manager 1:0.196.14 If it does ignore the apt settings, this would be it keeps its own set, correct?