diff options
author | tv <tv@shackspace.de> | 2015-05-21 23:52:06 +0200 |
---|---|---|
committer | tv <tv@shackspace.de> | 2015-05-21 23:52:06 +0200 |
commit | f8b1e849a6a3bd53f24a4aac70bc904cdb5ff711 (patch) | |
tree | 826235e1b776665ab32ee787bb96cd3b6f519d95 /bin/quoted-strings | |
parent | ac764394050f6fc39e406799085259d3fc08956a (diff) |
deploy: merge next
Diffstat (limited to 'bin/quoted-strings')
-rwxr-xr-x | bin/quoted-strings | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/bin/quoted-strings b/bin/quoted-strings deleted file mode 100755 index e64039101..000000000 --- a/bin/quoted-strings +++ /dev/null @@ -1,15 +0,0 @@ -#! /bin/sh -# quoted_strings : lines string |> lines string -# Extract all (double-) quoted strings from stdin. -# -# 0. find begin of string or skip line -# 1. find end of string or skip line -# 2. print string and continue after string -set -euf - -sed ' - s:[^"]*":: ;t1;d - :1; s:\(\([^"]\|\\"\)*\)":\1\n: ;t2;d - :2; P;D -' \ - | sed 's:\\":":g' |