From: Johannes Sixt <hidden> Date: 2016-06-15 22:46:44
On Sonntag, 10. Mai 2009, Junio C Hamano wrote:
b="$(cut -c1-7 "$g/HEAD" 2>/dev/null)..." ||
While you are here, you could turn this line into
{ b=$(< "$g/HEAD") && b=${b:0:7}...; } 2>/dev/null ||
to save a process. $(< foo) is a bash feature and does the same as $(cat foo),
but faster.
-- Hannes