cat < filedruckt den Inhalt der Datei nach stdout.
cat > fileliest stdin, bis Ctrl+ Derkannt wird und der Eingabetext in die Datei geschrieben wird .
cat <> fileDruckt, zumindest in meiner Version von Bash, den Inhalt der Datei zufriedenstellend (ohne Fehler), ändert jedoch weder die Datei noch den Änderungszeitstempel.
Wie rechtfertigt der Bash-Standard das scheinbar Ignorierte >in der dritten Aussage - und was noch wichtiger ist, tut er etwas?