eeba67de1c
We can actually get all the headers we are interested in just one call of mhdr(1) since it can query multiple headers in multiple messages in just one call. With BQNs reshape / two dimensional array facilities it is easy to group the lines of headers by their originating message and append the original path to the result array. We still use a separate mhdr(1) call for the Date header since we rely on the -D option for parsing the header. Change-Id: Iaaf8f21fa22ab3e32e6900df4ae164e72c722cd3 Reviewed-on: https://cl.tvl.fyi/c/depot/+/13016 Reviewed-by: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI Autosubmit: sterni <sternenseemann@systemli.org>
23 lines
704 B
BQN
23 lines
704 B
BQN
IsAsciiNum ⇐ ('0'⊸≤∧≤⟜'9')
|
||
IsAlpha ⇐ (('a'⊸≤∧≤⟜'z')∨('A'⊸≤∧≤⟜'Z'))
|
||
|
||
# based on leah2's function
|
||
ReadInt ⇐ {
|
||
𝕨 𝕊 𝕩: '-'=⊑𝕩? -𝕨 𝕊 1↓𝕩;
|
||
𝕨 𝕊 𝕩: (𝕨⊸×+⊣)´∘⌽-⟜'0'𝕩
|
||
}
|
||
ReadDec ⇐ 10⊸ReadInt
|
||
|
||
SplitOn ⇐ ((⊢ (-1˙)⍟⊣¨ +`∘(1⊸»<⊢))∘(≡¨)⊔⊢)
|
||
SplitAt ← ((⊣≤↕∘≠∘⊢)⊔⊢)
|
||
|
||
_fix ⇐ {𝕩 𝕊∘⊢⍟≢ 𝔽 𝕩}
|
||
|
||
ImportBqnLibs ⇐ {•Import 𝕩∾˜"/"∾˜¯1↓1⊑•SH "printenv"‿"BQNLIBS"}
|
||
|
||
Xor ⇐ (¬⊸∧∨∧⟜¬)
|
||
|
||
# To get all Diagonals (⊢∾○Diagonals⌽)
|
||
Diagonals ⇐ {(0‿0⊸⍉ ↓⟜𝕩)¨ (↕≠𝕩)}
|
||
|
||
ApplyMany ← {fs 𝕊 arg: {𝕏 arg}¨ fs}
|