aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDavid Runge <dave@sleepmap.de>2018-12-05 22:53:17 +0100
committerDavid Runge <dave@sleepmap.de>2018-12-05 22:53:17 +0100
commitcb40435a8285be6d023192c0bae8c184f1d37ed0 (patch)
tree2e6ef275d7f7a49957f57b2d2ed43e1993af2ddb
parent4a61cf893ee0c699f0f12dfa8bfe5f3fba153c17 (diff)
downloaddotfiles-cb40435a8285be6d023192c0bae8c184f1d37ed0.tar.gz
dotfiles-cb40435a8285be6d023192c0bae8c184f1d37ed0.tar.bz2
dotfiles-cb40435a8285be6d023192c0bae8c184f1d37ed0.tar.xz
dotfiles-cb40435a8285be6d023192c0bae8c184f1d37ed0.zip
bin/realtime-suggestions: Ignoring /boot mount points (it's very unlikely to use that for anything but boot stuff).
-rwxr-xr-xbin/realtime-suggestions12
1 files changed, 7 insertions, 5 deletions
diff --git a/bin/realtime-suggestions b/bin/realtime-suggestions
index 4ff8722..2852476 100755
--- a/bin/realtime-suggestions
+++ b/bin/realtime-suggestions
@@ -28,11 +28,13 @@ check_filesystems() {
where="${mount_point_data[2]}"
type="${mount_point_data[4]}"
options="${mount_point_data[5]}"
- if [[ "$options" != *relatime* ]] && [[ "$options" != *noatime* ]]; then
- echo "$warning $what mounted on $where (type $type) should use the relatime mount option for performance."
- fi
- if [[ "$type" == *fuse* ]] || [[ "$type" == *reiserfs* ]] || [[ "$type" == *vfat* ]]; then
- echo "$info $what mounted on $where (type $type) is not a good filesystem for large files or realtime use."
+ if [[ "$where" != /boot* ]]; then
+ if [[ "$options" != *relatime* ]] && [[ "$options" != *noatime* ]]; then
+ echo "$warning $what mounted on $where (type $type) should use the relatime mount option for performance."
+ fi
+ if [[ "$type" == *fuse* ]] || [[ "$type" == *reiserfs* ]] || [[ "$type" == *vfat* ]]; then
+ echo "$info $what mounted on $where (type $type) is not a good filesystem for large files or realtime use."
+ fi
fi
done
}