diff options
author | Marvin Borner | 2024-07-29 19:29:01 +0200 |
---|---|---|
committer | Marvin Borner | 2024-07-29 19:29:01 +0200 |
commit | 34d940048af27ca42b85a8a63d2e48fbefd4e63d (patch) | |
tree | 92a0f501d302d2652c855a817f9283290c275d03 | |
parent | 5296a6a32471acc1ca6cd2b8503ab0a8d7bc4ac1 (diff) |
Added actual source to definition
-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 |