diff --git a/tools/editnav.sh b/tools/editnav.sh new file mode 100755 index 0000000..dca5b73 --- /dev/null +++ b/tools/editnav.sh @@ -0,0 +1,15 @@ +#!/bin/bash + +for file in "$@"; do + if ! grep -q '' "$file"; then + tmp=$(mktemp) + # Ensure we handle the success of the pipeline correctly + if tr '\n' '\r' < "$file" | sed -E "s#(