Hi, sorry for the late answer, but yes, a purge solved the problem. But
still, I wonder why just a remove did not solve it? I never use apt
purge, so I expected a remove would work. Thank you for the tip!
On 22/05/2020 16:31, Oliver Sauder wrote:
> This sounds a bit odd.
>
> I assume you have installed Diodon through the Ubuntu repository.
> If so could you run the following command to make sure that Diodon is actually uninstalled:
>
> sudo apt purge diodon diodon-dev gir1.2-diodon-1.0 libdiodon0
>
Hi, sorry for the late answer, but yes, a purge solved the problem. But
still, I wonder why just a remove did not solve it? I never use apt
purge, so I expected a remove would work. Thank you for the tip!
On 22/05/2020 16:31, Oliver Sauder wrote:
> This sounds a bit odd.
>
> I assume you have installed Diodon through the Ubuntu repository.
> If so could you run the following command to make sure that Diodon is actually uninstalled:
>
> sudo apt purge diodon diodon-dev gir1.2-diodon-1.0 libdiodon0
>