mirror of
https://github.com/ClementTsang/bottom
synced 2024-09-21 06:42:00 +00:00
f33bb42c5b
This PR accomplishes two things: 1. This PR aims to add mount_filter to the config file. This allows a user to filter their disk widget entries by the mount name as well; this was particularly a problem in trying to address #431. 2. A slight rework of how the filter system works due to the need of being able to manage two potentially conflicting filter sources, since the disk widget will now potentially filter on both the disk name and the mount name. In regards to the second point, the new behaviour is as such: 1. Is the entry allowed through any filter? That is, does it match an entry in a filter where is_list_ignored is false? If so, we always keep this entry. 2. Is the entry denied through any filter? That is, does it match an entry in a filter where is_list_ignored is true? If so, we always deny this entry. 3. Anything else is allowed. This main (breaking) change is really the third point. This would mean that temp_filter and net_filter, when set to allow listed entries with is_list_ignored = false, are kinda... useless, as a whitelist in the scenario of being the only filter is kinda pointless. But hopefully this shouldn't be a problem...? |
||
---|---|---|
.. | ||
and_or_search.png | ||
basic_mode.png | ||
battery.png | ||
cpu_filter.png | ||
cpu_layout.png | ||
demo.gif | ||
disk_name_filter.png | ||
disk_name_mount_filter.png | ||
disk_no_filter.png | ||
or_search.png | ||
quote_search.png | ||
regex_search.png | ||
sample_layout.png | ||
search_empty.png | ||
simple_search.png | ||
sort.png | ||
trees_1.png | ||
trees_2.png | ||
trees_3.png | ||
usage_search.png |