On Fri, 13 Jul 2018, davidson wrote:

On Wed, 11 Jul 2018, Zenaan Harkness wrote:

Hellow Zenaan!

On Wed, Jul 11, 2018 at 11:32:30AM +0200, john doe wrote:
On 7/11/2018 11:12 AM, Zenaan Harkness wrote:
[snip]

OK so that page suggests reinstalling package libgnutls-deb0-28

Err... maybe it's been edited since.
[snip]

To me, that second message (apparently from the superuser thread OP)
looks like it suggests

 1. uninstalling libgnutls-deb0-28,

 2. taking careful note of the explicitly desired applications that
    will be removed as a consequence of the removal of
    libgnutls-deb0-28,

 3. and then re-installing those desired applications.

That doesn't sound like the same thing as reinstalling
libgnutls-deb0-28. Not to me.

I should probably add that I'm not trying to suggest that steps 2 and
3 above sound like much fun, especially when it might involve so many
packages.

$ sudo apt remove libgnutls-deb0-28
[snip]

The following packages will be REMOVED:
 curl easygit ffmpeg gir1.2-spice-client-glib-2.0
 ...
0 upgraded, 0 newly installed, 130 to remove and 0 not upgraded.
After this operation, 563 MB disk space will be freed.
Do you want to continue? [Y/n] ^C
[snip]

Good luck.


Reply via email to