Sign in
pigweed
/
third_party
/
github
/
FreeRTOS
/
FreeRTOS-Kernel
/
11174fb860ae4aaca544b2ad12df040b81a132e3
/
.
/
.github
/
scripts
/
find_replace.sh
blob: ee94ea12084605474d7fdb8c738f18bee0fdb828 [
file
] [
log
] [
blame
]
#!/bin/bash
old_text
=
$1
new_text
=
$2
echo
"Old text: ${old_text}"
echo
"New text: ${new_text}"
grep
-
rl
"${old_text}"
.
|
xargs gsed
-
i
-
e
'1h;2,$H;$!d;g'
-
e
"s/${old_text}/${new_text}/g"