|Subject:||Re: $(file) can't read files|
|Date:||Sun, 31 May 2015 11:44:13 +0100|
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
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?
|[Prev in Thread]||Current Thread||[Next in Thread]|