equal
deleted
inserted
replaced
60 execution order of tools with equal priority is unspecified. For example, you |
60 execution order of tools with equal priority is unspecified. For example, you |
61 could use the 'sort' and 'head' utilities to keep only the 10 smallest numbers |
61 could use the 'sort' and 'head' utilities to keep only the 10 smallest numbers |
62 in a text file by ensuring that 'sort' runs before 'head':: |
62 in a text file by ensuring that 'sort' runs before 'head':: |
63 |
63 |
64 [fix] |
64 [fix] |
65 sort:command = sort --numeric-sort |
65 sort:command = sort -n |
66 head:command = head --lines=10 |
66 head:command = head -n 10 |
67 sort:pattern = numbers.txt |
67 sort:pattern = numbers.txt |
68 head:pattern = numbers.txt |
68 head:pattern = numbers.txt |
69 sort:priority = 2 |
69 sort:priority = 2 |
70 head:priority = 1 |
70 head:priority = 1 |
71 |
71 |