[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: $(file) can't read files
From: |
Paul Smith |
Subject: |
Re: $(file) can't read files |
Date: |
Sat, 30 May 2015 14:02:54 -0400 |
On Wed, 2015-05-27 at 07:50 +0100, Tim Murphy wrote:
> $(shell cat filename) is also often used to read files into variables.
>
> There isn't much reason why $(file <) shouldn't read a file though is
> there? It would have the additional benefit of being platform
> independent.
This would not be difficult. There is one question to be answered:
should the results of reading a file be verbatim (including newlines)?
or should it be condensed, like the output of the $(shell ...) function,
where newlines are converted to spaces?