diff options
| author | Faule Socke <mail@ursschulz.de> | 2017-06-16 21:11:13 +0200 |
|---|---|---|
| committer | Leah Neukirchen <leah@vuxu.org> | 2017-06-17 00:26:24 +0200 |
| commit | b3b2b0ec2a27d07b90a8024635d5986f9cc25d07 (patch) | |
| tree | 6c7a4bf9e35b04c60781ecb11111cd8e0d3a700b /xcheckrestart | |
| parent | 43753da6cbbec7cc15bab2295853faed4fb0162d (diff) | |
| download | xtools-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]
Diffstat (limited to 'xcheckrestart')
| -rwxr-xr-x | xcheckrestart | 2 |
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 |