-#!/bin/zsh
+#!/bin/sh
# Copyright 2014, 2017, 2019 Paul Hänsch
#
else
printf '^%s:%s' "$filter_type" "$filter_text"
fi
- done | sed -r \
+ done | sed -E \
's;\|+;\|;g; s;\^+;\^;g; s;:\|;:;g;
:X; s;\^[^:]*:\^;\^;g; /\^[^:]*:\^/bX;
s;^\^;;; s;\^[^:]*:$;;;'