Indrajit Raychaudhuri 84e0787411 general: Remove redundant usage of cat
In general, the substitution ‘$(cat foo)’ may be replaced by the
equivalent but faster ‘$(<foo)’.

See: https://zsh.sourceforge.io/Doc/Release/Expansion.html#Command-Substitution
2023-05-04 13:58:37 -05:00
..
2023-05-04 13:58:37 -05:00