Update dist.rs

This commit is contained in:
ChosenName 2024-06-04 21:44:07 -06:00 committed by GitHub
parent 55540f1f85
commit bfc7d3f1b2
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -70,8 +70,11 @@ fn dist_client(
&format!(r#""version": "{version}""#), &format!(r#""version": "{version}""#),
) )
.replace(r#""releaseTag": null"#, &format!(r#""releaseTag": "{release_tag}""#)) .replace(r#""releaseTag": null"#, &format!(r#""releaseTag": "{release_tag}""#))
.replace(r#""$generated-start": {},"#, "") .replace(
.replace(",\n \"$generated-end\": {}", "") " {\n \"title\": \"$generated-start\"\n },\n",
"",
)
.replace(" { \"title\": \"$generated-end\" }\n", "")
.replace(r#""enabledApiProposals": [],"#, r#""#); .replace(r#""enabledApiProposals": [],"#, r#""#);
patch.commit(sh)?; patch.commit(sh)?;