diff options
author | Miles Whittaker <mjwhitta@gmail.com> | 2014-09-14 00:53:53 -0400 |
---|---|---|
committer | Miles Whittaker <mjwhitta@gmail.com> | 2014-09-14 00:53:53 -0400 |
commit | ce53b9b2a53624825e51d7b5ddcc373fc70ea0bd (patch) | |
tree | 1b4db050de9229e8883d3756e2ed73d64303698e /uninstall | |
parent | 175fe158edfc303ecfea570e1501f5f4fe8391d4 (diff) |
Ignore user-defined grep aliases
Diffstat (limited to 'uninstall')
-rwxr-xr-x | uninstall | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -29,7 +29,7 @@ remove_line() { line_no=1 match=0 while [ 1 ]; do - line=$(sed -n "$line_no,\$p" "$src" | grep -m1 -nF "$1") || break + line=$(sed -n "$line_no,\$p" "$src" | \grep -m1 -nF "$1") || break line_no=$(( $(sed 's/:.*//' <<< "$line") + line_no - 1 )) content=$(sed 's/^[0-9]*://' <<< "$line") match=1 |