From f7530f8ff9b0948f5c5c96b7806d6bf76673c973 Mon Sep 17 00:00:00 2001 From: Adrian Vollmer Date: Wed, 3 Apr 2024 20:17:43 +0200 Subject: [PATCH] Fix source URL pragmas --- zundler/assets/main.js | 2 +- zundler/embed.py | 8 ++++---- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/zundler/assets/main.js b/zundler/assets/main.js index f05c19c..a8289c0 100644 --- a/zundler/assets/main.js +++ b/zundler/assets/main.js @@ -91,7 +91,7 @@ var embed_js = function(doc) { let [path, get_parameters, anchor] = split_url(src); path = normalize_path(path); console.debug("Embed script: " + path); - var src = retrieve_file(path) + ' //# sourceMap=' + path; + var src = retrieve_file(path) + ' \n//# sourceURL=' + path; newScript.appendChild(doc.createTextNode(src)); newScript.removeAttribute('src'); oldScript.parentNode.replaceChild(newScript, oldScript); diff --git a/zundler/embed.py b/zundler/embed.py index 6a4f594..e0a12c4 100644 --- a/zundler/embed.py +++ b/zundler/embed.py @@ -93,8 +93,8 @@ def embed_assets(index_file, output_path=None, append_pre="", append_post=""): {body} - - + + """.format( style=init_files["init.css"], @@ -193,12 +193,12 @@ def embed_html_resources(html, base_dir, before, after): if head and before: script = soup.new_tag("script") - script.string = before + "//# sourceURL=inject_pre.js" + script.string = before + "\n//# sourceURL=inject_pre.js" head.insert(0, script) if body and after: script = soup.new_tag("script") - script.string = after + "//# sourceURL=inject_post.js" + script.string = after + "\n//# sourceURL=inject_post.js" body.append(script) # TODO embed remote resources in case we want the entire file to be