On 2019-05-28 22:53, Thomas Stadtmüller wrote:
if there is a newer version to (19.01.1-1) in -updates - it
hides pretty well
My bad, sorry. It seems to be in -proposed currently.
--
Gunnar Hjalmarsson
https://launchpad.net/~gunnarhj
--
Ubuntu-devel-discuss mailing list
Ubuntu-devel-discuss@li
Hi Gunnar,
both were installed already:
[~$] sudo apt install
gnome-shell-extension-desktop-icons
Paketlisten werden gelesen... Fertig
Abhängigkeitsbaum wird aufgebaut.
Statusinformationen werden eingelesen Fertig
gnome-shell-extensio
Hi Gunnar,
guess I need to file a bug for the .desktop icon & launch issue ... will
take time.
Just FYI - if there is a newer version to (19.01.1-1) in -updates - it
hides pretty well as zero results after running all the various update
commands I did stumble across:
[~$] sudo apt-get clean
