this post was submitted on 24 Oct 2023
7 points (100.0% liked)
Programming
13384 readers
1 users here now
All things programming and coding related. Subcommunity of Technology.
This community's icon was made by Aaron Schneider, under the CC-BY-NC-SA 4.0 license.
founded 2 years ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
Hmm. I had a look at the example given. I see the idea, but would cat be the thing to use or would it be echo <<-EOF > "$file"?
You need
cat
because it readsstdin
and prints it tostdout
.echo
does not readstdin
, it prints its arguments.I have never used cat like that before. If you just ent cat abcd > file it says abcd doesnt exist but does create "file". I know you can cat contents of a file into another file but why the <<-EOF > file works is a bit beyond me.
cat
does not createfile
, your shell does when you redirect the standard output with> file
.