mirror of
https://github.com/FreeRTOS/FreeRTOS-Kernel.git
synced 2026-10-09 23:53:04 -04:00
Merge 3e8b220513 into 8be86d4a24
This commit is contained in:
commit
8922f7ca26
1 changed files with 1 additions and 1 deletions
2
.github/scripts/find_replace.sh
vendored
2
.github/scripts/find_replace.sh
vendored
|
|
@ -3,4 +3,4 @@ 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"
|
||||
grep -rlZ -- "${old_text}" . | xargs -0 gsed -i -e '1h;2,$H;$!d;g' -e "s/${old_text}/${new_text}/g"
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue