I'm paranoid about this, but hopefully it's a simple question:
Is there any difference between
cat file1 | egrep -oP "[Mm]y string" > /home/user/file.txt
and
cat file1|egrep -oP "[Mm]y string">/home/user/file.txt
i.e., does it matter if I have spaces padding the pipe (|) and redirection (>) characters? I'm really paranoid that having spaces there the spaces will somehow end up in the output file when I don't want that. Can anyone clarify? (Using Ubuntu 12/bash if that matters.)
|
or>
then typingCtrl-W
to delete the previous "word" would delete more than you probably wanted. ditto for cursor-movement keystrokes likeEsc-f
andEsc-b
etc.