Tested this extensively in budgie - installing/removing repeatedly via gnome-software, budgie-welcome, command line. Works everytime.
This patch (as mentioned above) copies back the artful patch 80_file_monitor_delayed.patch - it is unchanged. In terms of risk I would say none - the same patch has been in 17.04 and 17.10 - and was also in 16.04 and 16.10 minus one tweak I made previously to stop budgie crashing. Thus this patch has been very well tested over the years! ** Patch added: "file-monitor.debdiff" https://bugs.launchpad.net/ubuntu/+source/gnome-menus/+bug/1765799/+attachment/5137377/+files/file-monitor.debdiff -- You received this bug notification because you are a member of Desktop Packages, which is subscribed to gnome-menus in Ubuntu. https://bugs.launchpad.net/bugs/1765799 Title: Applications menu does not get populated with recently installed apps using apt Status in gnome-menus package in Ubuntu: Confirmed Bug description: Applications menu doesn't get populated with recently installed app using apt. For example, after installing Firefox using apt, its shortcut does not appear immediately in the applications main menu. It only appeared there after I rebooted (maybe logging off also does the job). A “refresh menu” action has to be triggered somehow after installations. ProblemType: Bug DistroRelease: Ubuntu 18.04 Package: gnome-menus 3.13.3-11ubuntu1 ProcVersionSignature: Ubuntu 4.15.0-15.16-generic 4.15.15 Uname: Linux 4.15.0-15-generic x86_64 ApportVersion: 2.20.9-0ubuntu5 Architecture: amd64 CurrentDesktop: Budgie:GNOME Date: Fri Apr 20 18:39:49 2018 Dependencies: InstallationDate: Installed on 2018-04-20 (0 days ago) InstallationMedia: Ubuntu-Budgie 18.04 LTS "Bionic Beaver" - Alpha amd64 (20180418) SourcePackage: gnome-menus UpgradeStatus: No upgrade log present (probably fresh install) To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-menus/+bug/1765799/+subscriptions -- Mailing list: https://launchpad.net/~desktop-packages Post to : [email protected] Unsubscribe : https://launchpad.net/~desktop-packages More help : https://help.launchpad.net/ListHelp
