aya-prover / aya-dev

A proof assistant and a dependently-typed language
https://www.aya-prover.org
MIT License
278 stars 16 forks source link

`atob` seems broken in vuepress #951

Closed imkiva closed 1 year ago

imkiva commented 1 year ago

https://github.com/vuejs/vuepress/issues/3065

We should implement atob for server side rendering. How stupid!

imkiva commented 1 year ago

For yarn, this is a workaround: https://github.com/foreverRuns/vuepress-vdoing-blog/commit/29f838c3f2f07a524ba43cebbbd3229a12721a77

imkiva commented 1 year ago

For pnpm, I tried every mentioned solution, and none of them worked

imkiva commented 1 year ago

I suggest getting rid of shitty pnpm and embracing yarn. Because I really don't want to spend time on any stupid bug in frontend tools -- god knows if they will come back.

ice1000 commented 1 year ago

What's atob?

ice1000 commented 1 year ago

But we aren't using vuepress, are we? We're using vitepress

imkiva commented 1 year ago

Let's trigger a rebuild on our website and see if vitepress has the same problem

imkiva commented 1 year ago

What's atob?

It's a base64 decoder. Our Doc stores the encoded popup text in the attribute data-tooltip-text of an HTML tag, to avoid possible escaping problems.