Хорошо, похоже, вот способ сделать это. Выглядит мерзко, но работает:
#!/bin/bash
for i in {1..25}
do
{ time dd if=/dev/zero of=/home/user/test.img bs=1G count=10 oflag=direct >& / dev/null ; } 2>> /tmp/dd_timed.txt && { time rm /home/user/test.img >& /dev/null ; } 2>> /tmp/rm_timed.txt
done
Решение:grep -o '\b'john_'\w*'
echo "john_ford peter_smith john_stone albert_brown john_rice john_harris lewis coll" |
grep -o '\b'john_'\w*'