aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authorMarvin Borner2024-07-29 19:29:01 +0200
committerMarvin Borner2024-07-29 19:29:01 +0200
commit34d940048af27ca42b85a8a63d2e48fbefd4e63d (patch)
tree92a0f501d302d2652c855a817f9283290c275d03
parent5296a6a32471acc1ca6cd2b8503ab0a8d7bc4ac1 (diff)
Added actual source to definition
-rwxr-xr-xstd/generate_map.sh4
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