summary refs log tree commit diff
diff options
context:
space:
mode:
authorFaule Socke <mail@ursschulz.de>2017-06-16 21:11:13 +0200
committerLeah Neukirchen <leah@vuxu.org>2017-06-17 00:26:24 +0200
commitb3b2b0ec2a27d07b90a8024635d5986f9cc25d07 (patch)
tree6c7a4bf9e35b04c60781ecb11111cd8e0d3a700b
parent43753da6cbbec7cc15bab2295853faed4fb0162d (diff)
downloadxtools-b3b2b0ec2a27d07b90a8024635d5986f9cc25d07.tar.gz
xtools-b3b2b0ec2a27d07b90a8024635d5986f9cc25d07.tar.xz
xtools-b3b2b0ec2a27d07b90a8024635d5986f9cc25d07.zip
xcheckrestart: do not report deleted mapped files in /dev/shm or /home
Firefox and other software often gets wrongly reported because mapped
files inside /home or /dev/shm were deleted.

Closes: #59 [via git-merge-pr]
-rwxr-xr-xxcheckrestart2
1 files changed, 2 insertions, 0 deletions
diff --git a/xcheckrestart b/xcheckrestart
index a5d220e..fe45c15 100755
--- a/xcheckrestart
+++ b/xcheckrestart
@@ -9,6 +9,8 @@ for f in /proc/[0-9]*; do
 		grep -v -e /SYSV \
 			-e /.cache/fontconfig \
 			-e /var/cache/fontconfig \
+			-e /dev/shm \
+			-e /home \
 			-e 'drm mm object' |
 	       	sort -u )
 	if [ "$LIBS" ]; then