diff options
| author | marcus <marcus@df743ca5-7f9a-e211-a948-0013205c9059> | 2009-06-17 05:11:50 +0800 |
|---|---|---|
| committer | marcus <marcus@df743ca5-7f9a-e211-a948-0013205c9059> | 2009-06-17 05:11:50 +0800 |
| commit | ee022e2624a0fcd6243510cf9577959271b11033 (patch) | |
| tree | 5c9cea44689d61ba06771f3f324c7bc7e3050228 | |
| parent | b095b0566ef4f9b918e8971cd57d46b4df962fa2 (diff) | |
| download | marcuscom-ports-ee022e2624a0fcd6243510cf9577959271b11033.tar.gz marcuscom-ports-ee022e2624a0fcd6243510cf9577959271b11033.tar.zst marcuscom-ports-ee022e2624a0fcd6243510cf9577959271b11033.zip | |
Ignore certain filesystem types when checking for disk space exhaustion.
Reported by: kwm
git-svn-id: svn://creme-brulee.marcuscom.com/ports/trunk@12394 df743ca5-7f9a-e211-a948-0013205c9059
| -rw-r--r-- | sysutils/gnome-settings-daemon/Makefile | 3 | ||||
| -rw-r--r-- | sysutils/gnome-settings-daemon/files/patch-plugins_housekeeping_gsd-disk-space.c | 27 |
2 files changed, 29 insertions, 1 deletions
diff --git a/sysutils/gnome-settings-daemon/Makefile b/sysutils/gnome-settings-daemon/Makefile index 933794dee..c67d39b9e 100644 --- a/sysutils/gnome-settings-daemon/Makefile +++ b/sysutils/gnome-settings-daemon/Makefile @@ -3,11 +3,12 @@ # Whom: Koop Mast <kwm@FreeBSD.org> # # $FreeBSD$ -# $MCom: ports/sysutils/gnome-settings-daemon/Makefile,v 1.39 2009/05/06 14:44:19 kwm Exp $ +# $MCom: ports/sysutils/gnome-settings-daemon/Makefile,v 1.40 2009/06/15 13:47:54 kwm Exp $ # PORTNAME= gnome-settings-daemon PORTVERSION= 2.27.3 +PORTREVISION= 1 CATEGORIES= sysutils gnome MASTER_SITES= GNOME DIST_SUBDIR= gnome2 diff --git a/sysutils/gnome-settings-daemon/files/patch-plugins_housekeeping_gsd-disk-space.c b/sysutils/gnome-settings-daemon/files/patch-plugins_housekeeping_gsd-disk-space.c new file mode 100644 index 000000000..fbdb05193 --- /dev/null +++ b/sysutils/gnome-settings-daemon/files/patch-plugins_housekeeping_gsd-disk-space.c @@ -0,0 +1,27 @@ +--- plugins/housekeeping/gsd-disk-space.c.orig 2009-06-16 16:57:54.000000000 -0400 ++++ plugins/housekeeping/gsd-disk-space.c 2009-06-16 17:08:33.000000000 -0400 +@@ -233,6 +233,7 @@ ldsm_check_all_mounts (gpointer data) + for (l = mounts; l != NULL; l = l->next) { + GUnixMountEntry *mount = l->data; + const char *path; ++ const char *fs_type; + + if (g_unix_mount_is_readonly (mount)) { + g_unix_mount_free (mount); +@@ -246,6 +247,16 @@ ldsm_check_all_mounts (gpointer data) + continue; + } + ++ fs_type = g_unix_mount_get_fs_type (mount); ++ ++ if (! strcmp (fs_type, "devfs") || ++ ! strcmp (fs_type, "linprocfs") || ++ ! strcmp (fs_type, "procfs") || ++ ! strcmp (fs_type, "linsysfs")) { ++ g_unix_mount_free (mount); ++ continue; ++ } ++ + g_hash_table_insert (seen, + g_strdup (path), GINT_TO_POINTER(1)); + |