Ne sono paranoico, ma spero che sia una domanda semplice:
C'è qualche differenza tra
cat file1 | egrep -oP "[Mm]y string" > /home/user/file.txt
e
cat file1|egrep -oP "[Mm]y string">/home/user/file.txt
cioè, importa se ho spazi che riempiono i caratteri pipe (|) e reindirizzamento (>)? Sono davvero paranoico che avere spazi lì gli spazi finiranno in qualche modo nel file di output quando non lo voglio. Qualcuno può chiarire? (Usando Ubuntu 12 / bash se è importante.)
|
o>
quindi digitandoCtrl-W
per eliminare la "parola" precedente si eliminerebbe più di quanto si desideri. idem per i movimenti del cursore come i tastiEsc-f
e cosìEsc-b
via