2020-09-01 02:02:41 +00:00
|
|
|
tee -a $(grep -rl "$1" index) <<EOF
|
|
|
|
|
|
|
|
|
|
|
|
================================================================================
|
2020-09-02 14:25:55 +00:00
|
|
|
|
2020-09-01 02:02:41 +00:00
|
|
|
EOF
|
|
|
|
cat | tee -a $(grep -rl "$1" index)
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
tee -a $(grep -rl "$1" index) <<EOF
|
|
|
|
|
|
|
|
|
|
|
|
================================================================================
|
|
|
|
|
|
|
|
|
|
|
|
EOF
|
|
|
|
|