diff options
Diffstat (limited to 'std/generate_map.sh')
| -rwxr-xr-x | std/generate_map.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/std/generate_map.sh b/std/generate_map.sh index d8ac791..42e3127 100755 --- a/std/generate_map.sh +++ b/std/generate_map.sh @@ -3,7 +3,7 @@ FILES="$(find * -type f -name "*.bruijn" ! -name "All.bruijn" ! -path "*Generic*")" list_defs() { - grep -Po "^[^:# \t][^ \t]*" "$1" + grep -Po "^[^:# \t][^ \t]*" "$1" | sed -e "s#\\(.*\\)#{\"name\": \"\\1\", \"source\": \"$1\"}#g" inputs="$(awk '/^:input/ {print $2}' "$1")" for i in $inputs; do list_defs "${i#std/}.bruijn" @@ -13,7 +13,7 @@ list_defs() { { for f in $FILES; do echo "{\"$f\":" - list_defs "$f" | jq -R . | jq -s . + list_defs "$f" | sed 's/\\/\\\\/g' | jq -s . echo "}" done } | jq -s add |