Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- #!/bin/sh
- file="$1"
- grep_string="$2"
- s=`date`
- echo grep direct: `date`
- echo grep 1; time grep "$grep_string" "$file" > /dev/null
- echo grep 2; time grep "$grep_string" "$file" > /dev/null
- echo fgrep direct: `date`
- echo fgrep 1; time fgrep "$grep_string" "$file" > /dev/null
- echo fgrep 2; time fgrep "$grep_string" "$file" > /dev/null
- echo cat grep: `date`
- echo cat grep 1; time cat "$file" | grep "$grep_string" > /dev/null
- echo cat grep 2; time cat "$file" | grep "$grep_string" > /dev/null
- echo cat fgrep: `date`
- echo cat fgrep 1; time cat "$file" | fgrep "$grep_string" > /dev/null
- echo cat fgrep 2; time cat "$file" | fgrep "$grep_string" > /dev/null
- e=`date`; printf "\nStart:\t%s\nEnde:\t%s\n" "$s" "$e"
- exit $?
- # EOF
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement