From 5314eb4cfa2624712f5c1756c2336100cf4d00e7 Mon Sep 17 00:00:00 2001 From: Michael Hoang Date: Tue, 4 Feb 2025 15:38:33 +0700 Subject: [PATCH] blog: actually remove asciicinema player --- docs/.gitignore | 4 ++-- docs/site/static/asciinema-player/asciinema-player.css | 1 - docs/site/static/asciinema-player/asciinema-player.min.js | 1 - 3 files changed, 2 insertions(+), 4 deletions(-) delete mode 120000 docs/site/static/asciinema-player/asciinema-player.css delete mode 120000 docs/site/static/asciinema-player/asciinema-player.min.js diff --git a/docs/.gitignore b/docs/.gitignore index 932a47563..5192fc642 100644 --- a/docs/.gitignore +++ b/docs/.gitignore @@ -1,3 +1,3 @@ /site/reference -/site/static/Roboto-Regular.ttf -/site/static/FiraCode-VF.ttf \ No newline at end of file +/site/static +!/site/static/extra.css diff --git a/docs/site/static/asciinema-player/asciinema-player.css b/docs/site/static/asciinema-player/asciinema-player.css deleted file mode 120000 index a6b35bcd3..000000000 --- a/docs/site/static/asciinema-player/asciinema-player.css +++ /dev/null @@ -1 +0,0 @@ -/nix/store/8y5h98wk5p94mv1wyb2c4gkrr7bswd19-asciinema-player.css \ No newline at end of file diff --git a/docs/site/static/asciinema-player/asciinema-player.min.js b/docs/site/static/asciinema-player/asciinema-player.min.js deleted file mode 120000 index c18cd78ff..000000000 --- a/docs/site/static/asciinema-player/asciinema-player.min.js +++ /dev/null @@ -1 +0,0 @@ -/nix/store/w0i3f9qzn9n6jmfnfgiw5wnab2f9ssdw-asciinema-player.min.js \ No newline at end of file