From 84e0787411aaa2caaff89ff167a3536bda410a58 Mon Sep 17 00:00:00 2001 From: Indrajit Raychaudhuri Date: Thu, 29 Apr 2021 21:49:37 -0500 Subject: [PATCH] general: Remove redundant usage of `cat` MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit In general, the substitution ‘$(cat foo)’ may be replaced by the equivalent but faster ‘$(&2 <&2 <&2 <&2 <&2 <&2 <&2 <&2 <