diff options
author | David Runge <dave@sleepmap.de> | 2018-12-05 22:53:17 +0100 |
---|---|---|
committer | David Runge <dave@sleepmap.de> | 2018-12-05 22:53:17 +0100 |
commit | cb40435a8285be6d023192c0bae8c184f1d37ed0 (patch) | |
tree | 2e6ef275d7f7a49957f57b2d2ed43e1993af2ddb /bin/realtime-suggestions | |
parent | 4a61cf893ee0c699f0f12dfa8bfe5f3fba153c17 (diff) | |
download | dotfiles-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).
Diffstat (limited to 'bin/realtime-suggestions')
-rwxr-xr-x | bin/realtime-suggestions | 12 |
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 } |