mirror of git://git.savannah.gnu.org/guix.git
93 lines
3.9 KiB
Diff
93 lines
3.9 KiB
Diff
This patch lets GLib's GDesktopAppInfo API watch and notice changes
|
|
to the Guix user and system profiles. That way, the list of available
|
|
applications shown by the desktop environment is immediately updated
|
|
when the user runs "guix install", "guix remove", or "guix system
|
|
reconfigure" (see <https://issues.guix.gnu.org/35594>).
|
|
|
|
It does so by monitoring /var/guix/profiles (for changes to the system
|
|
profile) and /var/guix/profiles/per-user/USER (for changes to the user
|
|
profile) and crawling their share/applications sub-directory when
|
|
changes happen.
|
|
|
|
diff --git a/gio/gdesktopappinfo.c b/gio/gdesktopappinfo.c
|
|
index f1e2fdd..095c110 100644
|
|
--- a/gio/gdesktopappinfo.c
|
|
+++ b/gio/gdesktopappinfo.c
|
|
@@ -148,6 +148,7 @@ typedef struct
|
|
gchar *alternatively_watching;
|
|
gboolean is_config;
|
|
gboolean is_setup;
|
|
+ gchar *guix_profile_watch_dir;
|
|
GFileMonitor *monitor;
|
|
GHashTable *app_names;
|
|
GHashTable *mime_tweaks;
|
|
@@ -180,6 +181,7 @@ desktop_file_dir_unref (DesktopFileDir *dir)
|
|
{
|
|
desktop_file_dir_reset (dir);
|
|
g_free (dir->path);
|
|
+ g_free (dir->guix_profile_watch_dir);
|
|
g_free (dir);
|
|
}
|
|
}
|
|
@@ -204,6 +206,13 @@ desktop_file_dir_get_alternative_dir (DesktopFileDir *dir)
|
|
{
|
|
gchar *parent;
|
|
|
|
+ /* If DIR is a profile, watch the specified directory--e.g.,
|
|
+ * /var/guix/profiles/per-user/$USER/ for the user profile. Do not watch
|
|
+ * ~/.guix-profile or /run/current-system/profile because GFileMonitor does
|
|
+ * not pass IN_DONT_FOLLOW and thus cannot notice any change. */
|
|
+ if (dir->guix_profile_watch_dir != NULL)
|
|
+ return g_strdup (dir->guix_profile_watch_dir);
|
|
+
|
|
/* If the directory itself exists then we need no alternative. */
|
|
if (g_access (dir->path, R_OK | X_OK) == 0)
|
|
return NULL;
|
|
@@ -249,11 +258,11 @@ desktop_file_dir_changed (GFileMonitor *monitor,
|
|
*
|
|
* If this is a notification for a parent directory (because the
|
|
* desktop directory didn't exist) then we shouldn't fire the signal
|
|
- * unless something actually changed.
|
|
+ * unless something actually changed or it's in /var/guix/profiles.
|
|
*/
|
|
g_mutex_lock (&desktop_file_dir_lock);
|
|
|
|
- if (dir->alternatively_watching)
|
|
+ if (dir->alternatively_watching && dir->guix_profile_watch_dir == NULL)
|
|
{
|
|
gchar *alternative_dir;
|
|
|
|
@@ -1555,6 +1564,32 @@ desktop_file_dirs_lock (void)
|
|
for (i = 0; dirs[i]; i++)
|
|
g_ptr_array_add (desktop_file_dirs, desktop_file_dir_new (dirs[i]));
|
|
|
|
+ {
|
|
+ /* Monitor the system and user profile under /var/guix/profiles and
|
|
+ * treat modifications to them as if they were modifications to their
|
|
+ * /share sub-directory. */
|
|
+ const gchar *user;
|
|
+ DesktopFileDir *system_profile_dir, *user_profile_dir;
|
|
+
|
|
+ system_profile_dir =
|
|
+ desktop_file_dir_new ("/var/guix/profiles/system/profile/share");
|
|
+ system_profile_dir->guix_profile_watch_dir = g_strdup ("/var/guix/profiles");
|
|
+ g_ptr_array_add (desktop_file_dirs, desktop_file_dir_ref (system_profile_dir));
|
|
+
|
|
+ user = g_get_user_name ();
|
|
+ if (user != NULL)
|
|
+ {
|
|
+ gchar *profile_dir, *user_data_dir;
|
|
+
|
|
+ profile_dir = g_build_filename ("/var/guix/profiles/per-user", user, NULL);
|
|
+ user_data_dir = g_build_filename (profile_dir, "guix-profile", "share", NULL);
|
|
+ user_profile_dir = desktop_file_dir_new (user_data_dir);
|
|
+ user_profile_dir->guix_profile_watch_dir = profile_dir;
|
|
+ g_ptr_array_add (desktop_file_dirs, desktop_file_dir_ref (user_profile_dir));
|
|
+ g_free (user_data_dir);
|
|
+ }
|
|
+ }
|
|
+
|
|
/* The list of directories will never change after this, unless
|
|
* g_get_user_config_dir() changes due to %G_TEST_OPTION_ISOLATE_DIRS. */
|
|
desktop_file_dirs_config_dir = user_config_dir;
|