chore: add json file extension (#1889)

This commit is contained in:
Chun-Hao Lien
2021-10-20 14:36:01 +08:00
committed by GitHub
parent 1c51f8b32e
commit 2f91d25ed4
3 changed files with 3 additions and 3 deletions

View File

@@ -412,7 +412,7 @@ export default defineComponent({
const url = URL.createObjectURL(file)
a.href = url
// TODO get uri from meta
a.download = `${url.split("/").pop().split("#")[0].split("?")[0]}`
a.download = `${url.split("/").pop().split("#")[0].split("?")[0]}.json`
document.body.appendChild(a)
a.click()
this.$toast.success(this.$t("state.download_started"), {

View File

@@ -249,7 +249,7 @@ export default defineComponent({
const url = URL.createObjectURL(file)
a.href = url
// TODO get uri from meta
a.download = `${url.split("/").pop().split("#")[0].split("?")[0]}`
a.download = `${url.split("/").pop().split("#")[0].split("?")[0]}.json`
document.body.appendChild(a)
a.click()
this.$toast.success(this.$t("state.download_started"), {

View File

@@ -227,7 +227,7 @@ export default defineComponent({
const url = URL.createObjectURL(file)
a.href = url
// TODO get uri from meta
a.download = `${url.split("/").pop().split("#")[0].split("?")[0]}`
a.download = `${url.split("/").pop().split("#")[0].split("?")[0]}.json`
document.body.appendChild(a)
a.click()
this.$toast.success(this.$t("state.download_started"), {