commit 3dd57b9e4749eb431d83b3a22bfd92555eabae62 parent 1cc375991b18cffe5fbe7abb17398a46584ee5b3 Author: William Casarin <jb55@jb55.com> Date: Sat, 14 Nov 2020 10:48:03 -0800 bin: improve file-jump Diffstat:
M | bin/file-jump | | | 3 | ++- |
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/bin/file-jump b/bin/file-jump @@ -2,4 +2,5 @@ set -eou pipefail -exec sed -n 's,^[[:space:]]*\([^:]\+\):\([0-9]\+\).*,edit "\1" +\2,p' +sed -E -n "s,[[:space:]]*([^: ]+):([0-9]+).*,\x1Eedit \"\\1\" +\\2,p" | +cut -d $'\x1E' -f2-