filter.rs 14 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403
  1. //! Filtering and sorting the list of files before displaying them.
  2. use std::cmp::Ordering;
  3. use std::iter::FromIterator;
  4. #[cfg(unix)]
  5. use std::os::unix::fs::MetadataExt;
  6. use crate::fs::DotFilter;
  7. use crate::fs::File;
  8. /// Flags used to manage the **file filter** process
  9. #[derive(PartialEq, Eq, Debug, Clone)]
  10. pub enum FileFilterFlags {
  11. /// Whether to reverse the sorting order. This would sort the largest
  12. /// files first, or files starting with Z, or the most-recently-changed
  13. /// ones, depending on the sort field.
  14. Reverse,
  15. /// Whether to only show directories.
  16. OnlyDirs,
  17. /// Whether to only show files.
  18. OnlyFiles,
  19. }
  20. /// The **file filter** processes a list of files before displaying them to
  21. /// the user, by removing files they don’t want to see, and putting the list
  22. /// in the desired order.
  23. ///
  24. /// Usually a user does not want to see *every* file in the list. The most
  25. /// common case is to remove files starting with `.`, which are designated
  26. /// as ‘hidden’ files.
  27. ///
  28. /// The special files `.` and `..` files are not actually filtered out, but
  29. /// need to be inserted into the list, in a special case.
  30. ///
  31. /// The filter also governs sorting the list. After being filtered, pairs of
  32. /// files are compared and sorted based on the result, with the sort field
  33. /// performing the comparison.
  34. #[derive(PartialEq, Eq, Debug, Clone)]
  35. pub struct FileFilter {
  36. /// Whether directories should be listed first, and other types of file
  37. /// second. Some users prefer it like this.
  38. pub list_dirs_first: bool,
  39. /// The metadata field to sort by.
  40. pub sort_field: SortField,
  41. // Flags that the file filtering process follow
  42. pub flags: Vec<FileFilterFlags>,
  43. /// Which invisible “dot” files to include when listing a directory.
  44. ///
  45. /// Files starting with a single “.” are used to determine “system” or
  46. /// “configuration” files that should not be displayed in a regular
  47. /// directory listing, and the directory entries “.” and “..” are
  48. /// considered extra-special.
  49. ///
  50. /// This came about more or less by a complete historical accident,
  51. /// when the original `ls` tried to hide `.` and `..`:
  52. ///
  53. /// [Linux History: How Dot Files Became Hidden Files](https://linux-audit.com/linux-history-how-dot-files-became-hidden-files/)
  54. pub dot_filter: DotFilter,
  55. /// Glob patterns to ignore. Any file name that matches *any* of these
  56. /// patterns won’t be displayed in the list.
  57. pub ignore_patterns: IgnorePatterns,
  58. /// Whether to ignore Git-ignored patterns.
  59. pub git_ignore: GitIgnore,
  60. }
  61. impl FileFilter {
  62. /// Remove every file in the given vector that does *not* pass the
  63. /// filter predicate for files found inside a directory.
  64. pub fn filter_child_files(&self, files: &mut Vec<File<'_>>) {
  65. use FileFilterFlags::{OnlyDirs, OnlyFiles};
  66. files.retain(|f| !self.ignore_patterns.is_ignored(&f.name));
  67. match (
  68. self.flags.contains(&OnlyDirs),
  69. self.flags.contains(&OnlyFiles),
  70. ) {
  71. (true, false) => {
  72. // On pass -'-only-dirs' flag only
  73. files.retain(File::is_directory);
  74. }
  75. (false, true) => {
  76. // On pass -'-only-files' flag only
  77. files.retain(File::is_file);
  78. }
  79. _ => {}
  80. }
  81. }
  82. /// Remove every file in the given vector that does *not* pass the
  83. /// filter predicate for file names specified on the command-line.
  84. ///
  85. /// The rules are different for these types of files than the other
  86. /// type because the ignore rules can be used with globbing. For
  87. /// example, running `exa -I='*.tmp' .vimrc` shouldn’t filter out the
  88. /// dotfile, because it’s been directly specified. But running
  89. /// `exa -I='*.ogg' music/*` should filter out the ogg files obtained
  90. /// from the glob, even though the globbing is done by the shell!
  91. pub fn filter_argument_files(&self, files: &mut Vec<File<'_>>) {
  92. files.retain(|f| !self.ignore_patterns.is_ignored(&f.name));
  93. }
  94. /// Sort the files in the given vector based on the sort field option.
  95. pub fn sort_files<'a, F>(&self, files: &mut [F])
  96. where
  97. F: AsRef<File<'a>>,
  98. {
  99. files.sort_by(|a, b| self.sort_field.compare_files(a.as_ref(), b.as_ref()));
  100. if self.flags.contains(&FileFilterFlags::Reverse) {
  101. files.reverse();
  102. }
  103. if self.list_dirs_first {
  104. // This relies on the fact that `sort_by` is *stable*: it will keep
  105. // adjacent elements next to each other.
  106. files.sort_by(|a, b| {
  107. b.as_ref()
  108. .points_to_directory()
  109. .cmp(&a.as_ref().points_to_directory())
  110. });
  111. }
  112. }
  113. }
  114. /// User-supplied field to sort by.
  115. #[derive(PartialEq, Eq, Debug, Copy, Clone)]
  116. pub enum SortField {
  117. /// Don’t apply any sorting. This is usually used as an optimisation in
  118. /// scripts, where the order doesn’t matter.
  119. Unsorted,
  120. /// The file name. This is the default sorting.
  121. Name(SortCase),
  122. /// The file’s extension, with extensionless files being listed first.
  123. Extension(SortCase),
  124. /// The file’s size, in bytes.
  125. Size,
  126. /// The file’s inode, which usually corresponds to the order in which
  127. /// files were created on the filesystem, more or less.
  128. #[cfg(unix)]
  129. FileInode,
  130. /// The time the file was modified (the “mtime”).
  131. ///
  132. /// As this is stored as a Unix timestamp, rather than a local time
  133. /// instance, the time zone does not matter and will only be used to
  134. /// display the timestamps, not compare them.
  135. ModifiedDate,
  136. /// The time the file was accessed (the “atime”).
  137. ///
  138. /// Oddly enough, this field rarely holds the *actual* accessed time.
  139. /// Recording a read time means writing to the file each time it’s read
  140. /// slows the whole operation down, so many systems will only update the
  141. /// timestamp in certain circumstances. This has become common enough that
  142. /// it’s now expected behaviour!
  143. /// <https://unix.stackexchange.com/a/8842>
  144. AccessedDate,
  145. /// The time the file was changed (the “ctime”).
  146. ///
  147. /// This field is used to mark the time when a file’s metadata
  148. /// changed — its permissions, owners, or link count.
  149. ///
  150. /// In original Unix, this was, however, meant as creation time.
  151. /// <https://www.bell-labs.com/usr/dmr/www/cacm.html>
  152. ChangedDate,
  153. /// The time the file was created (the “btime” or “birthtime”).
  154. CreatedDate,
  155. /// The type of the file: directories, links, pipes, regular, files, etc.
  156. ///
  157. /// Files are ordered according to the `PartialOrd` implementation of
  158. /// `fs::fields::Type`, so changing that will change this.
  159. FileType,
  160. /// The “age” of the file, which is the time it was modified sorted
  161. /// backwards. The reverse of the `ModifiedDate` ordering!
  162. ///
  163. /// It turns out that listing the most-recently-modified files first is a
  164. /// common-enough use case that it deserves its own variant. This would be
  165. /// implemented by just using the modified date and setting the reverse
  166. /// flag, but this would make reversing *that* output not work, which is
  167. /// bad, even though that’s kind of nonsensical. So it’s its own variant
  168. /// that can be reversed like usual.
  169. ModifiedAge,
  170. /// The file's name, however if the name of the file begins with `.`
  171. /// ignore the leading `.` and then sort as Name
  172. NameMixHidden(SortCase),
  173. }
  174. /// Whether a field should be sorted case-sensitively or case-insensitively.
  175. /// This determines which of the `natord` functions to use.
  176. ///
  177. /// I kept on forgetting which one was sensitive and which one was
  178. /// insensitive. Would a case-sensitive sort put capital letters first because
  179. /// it takes the case of the letters into account, or intermingle them with
  180. /// lowercase letters because it takes the difference between the two cases
  181. /// into account? I gave up and just named these two variants after the
  182. /// effects they have.
  183. #[derive(PartialEq, Eq, Debug, Copy, Clone)]
  184. pub enum SortCase {
  185. /// Sort files case-sensitively with uppercase first, with ‘A’ coming
  186. /// before ‘a’.
  187. ABCabc,
  188. /// Sort files case-insensitively, with ‘A’ being equal to ‘a’.
  189. AaBbCc,
  190. }
  191. impl SortField {
  192. /// Compares two files to determine the order they should be listed in,
  193. /// depending on the search field.
  194. ///
  195. /// The `natord` crate is used here to provide a more *natural* sorting
  196. /// order than just sorting character-by-character. This splits filenames
  197. /// into groups between letters and numbers, and then sorts those blocks
  198. /// together, so `file10` will sort after `file9`, instead of before it
  199. /// because of the `1`.
  200. pub fn compare_files(self, a: &File<'_>, b: &File<'_>) -> Ordering {
  201. use self::SortCase::{ABCabc, AaBbCc};
  202. use crate::fs::RECURSIVE_SIZE_HASHMAP;
  203. #[rustfmt::skip]
  204. return match self {
  205. Self::Unsorted => Ordering::Equal,
  206. Self::Name(ABCabc) => natord::compare(&a.name, &b.name),
  207. Self::Name(AaBbCc) => natord::compare_ignore_case(&a.name, &b.name),
  208. Self::Size => {
  209. let mut _map = RECURSIVE_SIZE_HASHMAP.lock().unwrap();
  210. let asize: u64 = match _map.get(&a.metadata.ino()) {
  211. Some(s) => *s,
  212. _ => a.metadata.len()
  213. };
  214. let bsize = match _map.get(&b.metadata.ino()) {
  215. Some(s) => *s,
  216. _ => b.metadata.len()
  217. };
  218. asize.cmp(&bsize)
  219. }
  220. #[cfg(unix)]
  221. Self::FileInode => a.metadata.ino().cmp(&b.metadata.ino()),
  222. Self::ModifiedDate => a.modified_time().cmp(&b.modified_time()),
  223. Self::AccessedDate => a.accessed_time().cmp(&b.accessed_time()),
  224. Self::ChangedDate => a.changed_time().cmp(&b.changed_time()),
  225. Self::CreatedDate => a.created_time().cmp(&b.created_time()),
  226. Self::ModifiedAge => b.modified_time().cmp(&a.modified_time()), // flip b and a
  227. Self::FileType => match a.type_char().cmp(&b.type_char()) { // todo: this recomputes
  228. Ordering::Equal => natord::compare(&a.name, &b.name),
  229. order => order,
  230. },
  231. Self::Extension(ABCabc) => match a.ext.cmp(&b.ext) {
  232. Ordering::Equal => natord::compare(&a.name, &b.name),
  233. order => order,
  234. },
  235. Self::Extension(AaBbCc) => match a.ext.cmp(&b.ext) {
  236. Ordering::Equal => natord::compare_ignore_case(&a.name, &b.name),
  237. order => order,
  238. },
  239. Self::NameMixHidden(ABCabc) => natord::compare(
  240. Self::strip_dot(&a.name),
  241. Self::strip_dot(&b.name)
  242. ),
  243. Self::NameMixHidden(AaBbCc) => natord::compare_ignore_case(
  244. Self::strip_dot(&a.name),
  245. Self::strip_dot(&b.name)
  246. )
  247. };
  248. }
  249. fn strip_dot(n: &str) -> &str {
  250. match n.strip_prefix('.') {
  251. Some(s) => s,
  252. None => n,
  253. }
  254. }
  255. }
  256. /// The **ignore patterns** are a list of globs that are tested against
  257. /// each filename, and if any of them match, that file isn’t displayed.
  258. /// This lets a user hide, say, text files by ignoring `*.txt`.
  259. #[derive(PartialEq, Eq, Default, Debug, Clone)]
  260. pub struct IgnorePatterns {
  261. patterns: Vec<glob::Pattern>,
  262. }
  263. impl FromIterator<glob::Pattern> for IgnorePatterns {
  264. fn from_iter<I>(iter: I) -> Self
  265. where
  266. I: IntoIterator<Item = glob::Pattern>,
  267. {
  268. let patterns = iter.into_iter().collect();
  269. Self { patterns }
  270. }
  271. }
  272. impl IgnorePatterns {
  273. /// Create a new list from the input glob strings, turning the inputs that
  274. /// are valid glob patterns into an `IgnorePatterns`. The inputs that
  275. /// don’t parse correctly are returned separately.
  276. pub fn parse_from_iter<'a, I: IntoIterator<Item = &'a str>>(
  277. iter: I,
  278. ) -> (Self, Vec<glob::PatternError>) {
  279. let iter = iter.into_iter();
  280. // Almost all glob patterns are valid, so it’s worth pre-allocating
  281. // the vector with enough space for all of them.
  282. let mut patterns = match iter.size_hint() {
  283. (_, Some(count)) => Vec::with_capacity(count),
  284. _ => Vec::new(),
  285. };
  286. // Similarly, assume there won’t be any errors.
  287. let mut errors = Vec::new();
  288. for input in iter {
  289. match glob::Pattern::new(input) {
  290. Ok(pat) => patterns.push(pat),
  291. Err(e) => errors.push(e),
  292. }
  293. }
  294. (Self { patterns }, errors)
  295. }
  296. /// Create a new empty set of patterns that matches nothing.
  297. pub fn empty() -> Self {
  298. Self {
  299. patterns: Vec::new(),
  300. }
  301. }
  302. /// Test whether the given file should be hidden from the results.
  303. fn is_ignored(&self, file: &str) -> bool {
  304. self.patterns.iter().any(|p| p.matches(file))
  305. }
  306. }
  307. /// Whether to ignore or display files that Git would ignore.
  308. #[derive(PartialEq, Eq, Debug, Copy, Clone)]
  309. pub enum GitIgnore {
  310. /// Ignore files that Git would ignore.
  311. CheckAndIgnore,
  312. /// Display files, even if Git would ignore them.
  313. Off,
  314. }
  315. #[cfg(test)]
  316. mod test_ignores {
  317. use super::*;
  318. #[test]
  319. fn empty_matches_nothing() {
  320. let pats = IgnorePatterns::empty();
  321. assert!(!pats.is_ignored("nothing"));
  322. assert!(!pats.is_ignored("test.mp3"));
  323. }
  324. #[test]
  325. fn ignores_a_glob() {
  326. let (pats, fails) = IgnorePatterns::parse_from_iter(vec!["*.mp3"]);
  327. assert!(fails.is_empty());
  328. assert!(!pats.is_ignored("nothing"));
  329. assert!(pats.is_ignored("test.mp3"));
  330. }
  331. #[test]
  332. fn ignores_an_exact_filename() {
  333. let (pats, fails) = IgnorePatterns::parse_from_iter(vec!["nothing"]);
  334. assert!(fails.is_empty());
  335. assert!(pats.is_ignored("nothing"));
  336. assert!(!pats.is_ignored("test.mp3"));
  337. }
  338. #[test]
  339. fn ignores_both() {
  340. let (pats, fails) = IgnorePatterns::parse_from_iter(vec!["nothing", "*.mp3"]);
  341. assert!(fails.is_empty());
  342. assert!(pats.is_ignored("nothing"));
  343. assert!(pats.is_ignored("test.mp3"));
  344. }
  345. }