From b3b2b0ec2a27d07b90a8024635d5986f9cc25d07 Mon Sep 17 00:00:00 2001 From: Faule Socke Date: Fri, 16 Jun 2017 21:11:13 +0200 Subject: 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] --- xcheckrestart | 2 ++ 1 file changed, 2 insertions(+) (limited to 'xcheckrestart') 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 -- cgit 1.4.1