Sign in
pigweed
/
third_party
/
github
/
FreeRTOS
/
FreeRTOS-Kernel
/
f0ff3834bc6db8d515fb43d9bb5bf66c42dcf4bf
/
.
/
.github
/
scripts
/
find_replace.sh
blob: ee94ea12084605474d7fdb8c738f18bee0fdb828 [
file
]
#!/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"