208 lines
406 KiB
HTML
208 lines
406 KiB
HTML
|
<!DOCTYPE html>
|
||
|
|
<html><head><title>Docker 命令手册</title><meta charSet="utf-8"/><meta name="viewport" content="width=device-width, initial-scale=1.0"/><meta property="og:title" content="Docker 命令手册"/><meta property="og:description" content="Docker 命令手册."/><meta property="og:image" content="https://wiki.7wate.com/static/og-image.png"/><meta property="og:width" content="1200"/><meta property="og:height" content="675"/><link rel="icon" href="../../../../static/icon.png"/><meta name="description" content="Docker 命令手册."/><meta name="generator" content="Quartz"/><link rel="preconnect" href="https://fonts.googleapis.com"/><link rel="preconnect" href="https://fonts.gstatic.com"/><script async src="https://umami.7wate.com/script.js" data-website-id="c061efdc-95dd-4d21-9d04-a1ffda0a85b9"></script><script>
|
||
|
|
var _hmt = _hmt || [];
|
||
|
|
(function() {
|
||
|
|
var hm = document.createElement("script");
|
||
|
|
hm.src = "https://hm.baidu.com/hm.js?94d8ccb156eb7c65abf317e6e01cdba9";
|
||
|
|
var s = document.getElementsByTagName("script")[0];
|
||
|
|
s.parentNode.insertBefore(hm, s);
|
||
|
|
})();
|
||
|
|
</script><script async src="https://www.googletagmanager.com/gtag/js?id=G-MHMEL0F832"></script><script>
|
||
|
|
(function() {
|
||
|
|
window.dataLayer = window.dataLayer || [];
|
||
|
|
function gtag() {
|
||
|
|
window.dataLayer.push(arguments);
|
||
|
|
}
|
||
|
|
gtag('js', new Date());
|
||
|
|
gtag('config', 'G-MHMEL0F832');
|
||
|
|
})();
|
||
|
|
</script><link href="../../../../index.css" rel="stylesheet" type="text/css" spa-preserve/><link href="https://cdn.jsdelivr.net/npm/katex@0.16.0/dist/katex.min.css" rel="stylesheet" type="text/css" spa-preserve/><link href="https://fonts.googleapis.com/css2?family=IBM Plex Mono&family=Schibsted Grotesk:wght@400;700&family=Source Sans Pro:ital,wght@0,400;0,600;1,400;1,600&display=swap" rel="stylesheet" type="text/css" spa-preserve/><script src="../../../../prescript.js" type="application/javascript" spa-preserve></script><script type="application/javascript" spa-preserve>const fetchData = fetch(`../../../../static/contentIndex.json`).then(data => data.json())</script></head><body data-slug="Tech/operating-system/Docker/高级/Docker-命令手册"><div id="quartz-root" class="page"><div id="quartz-body"><div class="left sidebar"><h1 class="page-title "><a href="../../../..">📚 X·Eden</a></h1><div class="spacer mobile-only"></div><div class="search "><div id="search-icon"><p>Search</p><div></div><svg tabIndex="0" aria-labelledby="title desc" role="img" xmlns="http://www.w3.org/2000/svg" viewBox="0 0 19.9 19.7"><title id="title">Search</title><desc id="desc">Search</desc><g class="search-path" fill="none"><path stroke-linecap="square" d="M18.5 18.3l-5.4-5.4"></path><circle cx="8" cy="8" r="7"></circle></g></svg></div><div id="search-container"><div id="search-space"><input autocomplete="off" id="search-bar" name="search" type="text" aria-label="Search for something" placeholder="Search for something"/><div id="results-container"></div></div></div></div><div class="darkmode "><input class="toggle" id="darkmode-toggle" type="checkbox" tabIndex="-1"/><label id="toggle-label-light" for="darkmode-toggle" tabIndex="-1"><svg xmlns="http://www.w3.org/2000/svg" xmlnsXlink="http://www.w3.org/1999/xlink" version="1.1" id="dayIcon" x="0px" y="0px" viewBox="0 0 35 35" style="enable-background:new 0 0 35 35;" xmlSpace="preserve"><title>Light mode</title><path d="M6,17.5C6,16.672,5.328,16,4.5,16h-3C0.672,16,0,16.672,0,17.5 S0.672,19,1.5,19h3C5.328,19,6,18.328,6,17.5z M7.5,26c-0.414,0-0.789,0.168-1.061,0.439l-2,2C4.168,28.711,4,29.086,4,29.5 C4,30.328,4.671,31,5.5,31c0.414,0,0.789-0.168,1.06-0.44l2-2C8.832,28.289,9,27.914,9,27.5C9,26.672,8.329,26,7.5,26z M17.5,6 C18.329,6,19,5.328,19,4.5v-3C19,0.672,18.329,0,17.5,0S16,0.672,16,1.5v3C16,5.328,16.671,6,17.5,6z M27.5,9 c0.414,0,0.789-0.168,1.06-0.439l2-2C30.832,6.289,31,5.914,31,5.5C31,4.672,30.329,4,29.5,4c-0.414,0-0.789,0.168-1.061,0.44 l-2,2C26.168,6.711,26,7.086,26,7.5C26,8.328,26.671,9,27.5,9z M6.439,8.561C6.711,8.832,7.086,9,7.5,9C8.328,9,9,8.328,9,7.5 c0-0.414-0.168-0.789-0.439-1.061l-2-2C6.289,4.168,5.914,4,5.5,4C4.672,4,4,4.672,4,5.5c0,0.414,0.168,0.789,0.439,1.06 L6.439,8.561z M33.5,16h-3c-0.828,0-1.5,0.672-1.5,1.5s0.672,1.5,1.5,1.5h3c0.828,0,1.5-0.672,1.5-1.5S34.328,16,33.5,16z M28.561,26.439C28.289,26.168,27.914,26,27.5,26c-0.828,0-1.5,0.672-1.5,1.5c0,0.414,0.168,0.789,0.439,1.06l2,2 C28.711,30.832,29.086,31,29.5,31c0.828,0,1.5-0.672,1.5-1.5c0-0.414-0.168-0.789-0.439-1.061L28.561,26.439z M17.5,29 c-0.829,0-1.5,0.672-1.5,1.5v3c0,0.828,0.671,1.5,1.5,1.5s1.5-0.672,1.5-1.5v-3C19,29.672,18.329,29,17.5,29z M17.5,7 C11.71,7,7,11.71,7,17.5S11.71,28,17.5,28S28,23.29,28,17.5S23.29,7,17.5,7z M17.5,25c-4.136,0-7.5-3.364-7.5-7.5 c0-4.136,3.364-7.5,7.5-7.5c4.136,0,7.5,3.364,7.5,7.5C25,21.636,21.636,25,17.5,25z"></path></svg></label><label id="toggle-label-dark" for="darkmode-toggle" tabIndex="-1"><svg xmlns="http://www.w3.org/2000/svg" xmlnsXlink="http://www.w3.org/1999/xlink" version="1.1" id="nightIcon" x="0px" y="0px" viewBox="0 0 100 100" style="enable-background='new 0 0 100 100'" xmlSpace="preserve"><title>Dark mode</title><path d="M96.76,66.458c-0.853-0.852-2.15-1.064-3.23-0.534c-6.063,2.991-12.858,4.571-19.655,4.571 C62.022,70.495,50.88,65.88,42.5,57.5C29.043,44.043,25.658,23.536,34.076,6.47c0.532-1.08,0.318-2.379-0.534-3.23 c-0.851-0.852-2.15-1.064-3.23-0.534c-4.918,2.427-9.375,5.619-13.246,9.491c-9.447,9.447-14.65,22.008-14
|
||
|
|
<h2 id="容器生命周期管理">容器生命周期管理<a aria-hidden="true" tabindex="-1" href="#容器生命周期管理" class="internal"> §</a></h2>
|
||
|
|
<ul>
|
||
|
|
<li>
|
||
|
|
<p><code>docker run [OPTIONS] IMAGE [COMMAND] [ARG...]</code>：创建一个新容器并运行一个命令。</p>
|
||
|
|
</li>
|
||
|
|
<li>
|
||
|
|
<p><code>docker start CONTAINER</code>：启动一个或多个已经停止的容器。</p>
|
||
|
|
</li>
|
||
|
|
<li>
|
||
|
|
<p><code>docker stop CONTAINER</code>：停止一个或多个正在运行的容器。</p>
|
||
|
|
</li>
|
||
|
|
<li>
|
||
|
|
<p><code>docker restart CONTAINER</code>：重启一个或多个容器。</p>
|
||
|
|
</li>
|
||
|
|
<li>
|
||
|
|
<p><code>docker kill CONTAINER</code>：强制停止一个或多个正在运行的容器。</p>
|
||
|
|
</li>
|
||
|
|
<li>
|
||
|
|
<p><code>docker rm CONTAINER</code>：删除一个或多个容器。</p>
|
||
|
|
</li>
|
||
|
|
<li>
|
||
|
|
<p><code>docker pause CONTAINER</code>：暂停一个或多个容器的所有进程。</p>
|
||
|
|
</li>
|
||
|
|
<li>
|
||
|
|
<p><code>docker unpause CONTAINER</code>：恢复一个或多个容器的所有进程。</p>
|
||
|
|
</li>
|
||
|
|
<li>
|
||
|
|
<p><code>docker create [OPTIONS] IMAGE [COMMAND] [ARG...]</code>：创建一个新的容器但不启动它。</p>
|
||
|
|
</li>
|
||
|
|
<li>
|
||
|
|
<p><code>docker exec [OPTIONS] CONTAINER COMMAND [ARG...]</code>：在运行的容器中执行一个命令。</p>
|
||
|
|
</li>
|
||
|
|
</ul>
|
||
|
|
<h2 id="容器操作">容器操作<a aria-hidden="true" tabindex="-1" href="#容器操作" class="internal"> §</a></h2>
|
||
|
|
<ul>
|
||
|
|
<li>
|
||
|
|
<p><code>docker ps [OPTIONS]</code>：列出容器。</p>
|
||
|
|
</li>
|
||
|
|
<li>
|
||
|
|
<p><code>docker inspect [OPTIONS] TARGET</code>：返回 Docker 对象的底层信息。</p>
|
||
|
|
</li>
|
||
|
|
<li>
|
||
|
|
<p><code>docker top CONTAINER [ps OPTIONS]</code>：显示容器的运行进程。</p>
|
||
|
|
</li>
|
||
|
|
<li>
|
||
|
|
<p><code>docker attach CONTAINER</code>：连接到正在运行的容器。</p>
|
||
|
|
</li>
|
||
|
|
<li>
|
||
|
|
<p><code>docker events [OPTIONS]</code>：从服务器获取实时事件。</p>
|
||
|
|
</li>
|
||
|
|
<li>
|
||
|
|
<p><code>docker logs [OPTIONS] CONTAINER</code>：获取容器的日志。</p>
|
||
|
|
</li>
|
||
|
|
<li>
|
||
|
|
<p><code>docker wait CONTAINER</code>：阻塞到容器停止，然后打印退出代码。</p>
|
||
|
|
</li>
|
||
|
|
<li>
|
||
|
|
<p><code>docker export CONTAINER</code>：将文件系统作为一个 tar 归档文件导出到 STDOUT。</p>
|
||
|
|
</li>
|
||
|
|
<li>
|
||
|
|
<p><code>docker port CONTAINER [PRIVATE_PORT[/PROTO]]</code>：列出容器的端口映射，或打印指定端口的映射。</p>
|
||
|
|
</li>
|
||
|
|
<li>
|
||
|
|
<p><code>docker stats [OPTIONS] [CONTAINER...]</code>：实时显示容器的资源使用统计信息。</p>
|
||
|
|
</li>
|
||
|
|
</ul>
|
||
|
|
<h2 id="容器-rootfs-命令">容器 Rootfs 命令<a aria-hidden="true" tabindex="-1" href="#容器-rootfs-命令" class="internal"> §</a></h2>
|
||
|
|
<ul>
|
||
|
|
<li>
|
||
|
|
<p><code>docker commit [OPTIONS] CONTAINER [REPOSITORY[:TAG]]</code>：从容器创建一个新的镜像。</p>
|
||
|
|
</li>
|
||
|
|
<li>
|
||
|
|
<p><code>docker cp [OPTIONS] CONTAINER:SRC_PATH DEST_PATH|-</code>：在本地文件系统和容器之间复制文件/文件夹。</p>
|
||
|
|
</li>
|
||
|
|
<li>
|
||
|
|
<p><code>docker diff CONTAINER</code>：检查在容器文件系统上所做的更改。</p>
|
||
|
|
</li>
|
||
|
|
</ul>
|
||
|
|
<h2 id="镜像仓库">镜像仓库<a aria-hidden="true" tabindex="-1" href="#镜像仓库" class="internal"> §</a></h2>
|
||
|
|
<ul>
|
||
|
|
<li>
|
||
|
|
<p><code>docker login [OPTIONS] [SERVER]</code>：登录 Docker 的镜像仓库。</p>
|
||
|
|
</li>
|
||
|
|
<li>
|
||
|
|
<p><code>docker pull [OPTIONS] NAME[:TAG|@DIGEST]</code>：从镜像仓库中拉取镜像。</p>
|
||
|
|
</li>
|
||
|
|
<li>
|
||
|
|
<p><code>docker push [OPTIONS] NAME[:TAG]</code>：将镜像或仓库推送到镜像仓库。</p>
|
||
|
|
</li>
|
||
|
|
<li>
|
||
|
|
<p><code>docker search [OPTIONS] TERM</code>：在 Docker Hub 中搜索镜像。</p>
|
||
|
|
</li>
|
||
|
|
</ul>
|
||
|
|
<h2 id="本地镜像管理">本地镜像管理<a aria-hidden="true" tabindex="-1" href="#本地镜像管理" class="internal"> §</a></h2>
|
||
|
|
<ul>
|
||
|
|
<li>
|
||
|
|
<p><code>docker images [OPTIONS] [REPOSITORY[:TAG]]</code>：列出镜像。</p>
|
||
|
|
</li>
|
||
|
|
<li>
|
||
|
|
<p><code>docker rmi [OPTIONS] IMAGE [IMAGE...]</code>：删除一个或多个镜像。</p>
|
||
|
|
</li>
|
||
|
|
<li>
|
||
|
|
<p><code>docker tag SOURCE_IMAGE[:TAG] TARGET_IMAGE[:TAG]</code>：为源镜像创建一个新的别名标签。</p>
|
||
|
|
</li>
|
||
|
|
<li>
|
||
|
|
<p><code>docker build [OPTIONS] PATH | URL | -</code>：从 Dockerfile 构建一个新的镜像。</p>
|
||
|
|
</li>
|
||
|
|
<li>
|
||
|
|
<p><code>docker history [OPTIONS] IMAGE</code>：显示镜像的历史。</p>
|
||
|
|
</li>
|
||
|
|
<li>
|
||
|
|
<p><code>docker save [OPTIONS] IMAGE [IMAGE...]</code>：将一个或多个镜像保存为 tar 归档文件。</p>
|
||
|
|
</li>
|
||
|
|
<li>
|
||
|
|
<p><code>docker load [OPTIONS]</code>：从 tar 归档文件加载一个或多个镜像。</p>
|
||
|
|
</li>
|
||
|
|
<li>
|
||
|
|
<p><code>docker import [OPTIONS] file|URL|- [REPOSITORY[:TAG]]</code>：从 tarball 导入内容以创建一个文件系统镜像。</p>
|
||
|
|
</li>
|
||
|
|
</ul>
|
||
|
|
<h2 id="系统信息">系统信息<a aria-hidden="true" tabindex="-1" href="#系统信息" class="internal"> §</a></h2>
|
||
|
|
<ul>
|
||
|
|
<li>
|
||
|
|
<p><code>docker info [OPTIONS]</code>：显示系统级信息。</p>
|
||
|
|
</li>
|
||
|
|
<li>
|
||
|
|
<p><code>docker version [OPTIONS]</code>：显示 Docker 版本信息。</p>
|
||
|
|
</li>
|
||
|
|
</ul></article></div><div class="right sidebar"><div class="graph "><h3>Graph View</h3><div class="graph-outer"><div id="graph-container" data-cfg="{"drag":true,"zoom":true,"depth":1,"scale":1.1,"repelForce":0.5,"centerForce":0.3,"linkDistance":30,"fontSize":0.6,"opacityScale":1,"showTags":true,"removeTags":[]}"></div><svg version="1.1" id="global-graph-icon" xmlns="http://www.w3.org/2000/svg" xmlnsXlink="http://www.w3.org/1999/xlink" x="0px" y="0px" viewBox="0 0 55 55" fill="currentColor" xmlSpace="preserve"><path d="M49,0c-3.309,0-6,2.691-6,6c0,1.035,0.263,2.009,0.726,2.86l-9.829,9.829C32.542,17.634,30.846,17,29,17
|
||
|
|
s-3.542,0.634-4.898,1.688l-7.669-7.669C16.785,10.424,17,9.74,17,9c0-2.206-1.794-4-4-4S9,6.794,9,9s1.794,4,4,4
|
||
|
|
c0.74,0,1.424-0.215,2.019-0.567l7.669,7.669C21.634,21.458,21,23.154,21,25s0.634,3.542,1.688,4.897L10.024,42.562
|
||
|
|
C8.958,41.595,7.549,41,6,41c-3.309,0-6,2.691-6,6s2.691,6,6,6s6-2.691,6-6c0-1.035-0.263-2.009-0.726-2.86l12.829-12.829
|
||
|
|
c1.106,0.86,2.44,1.436,3.898,1.619v10.16c-2.833,0.478-5,2.942-5,5.91c0,3.309,2.691,6,6,6s6-2.691,6-6c0-2.967-2.167-5.431-5-5.91
|
||
|
|
v-10.16c1.458-0.183,2.792-0.759,3.898-1.619l7.669,7.669C41.215,39.576,41,40.26,41,41c0,2.206,1.794,4,4,4s4-1.794,4-4
|
||
|
|
s-1.794-4-4-4c-0.74,0-1.424,0.215-2.019,0.567l-7.669-7.669C36.366,28.542,37,26.846,37,25s-0.634-3.542-1.688-4.897l9.665-9.665
|
||
|
|
C46.042,11.405,47.451,12,49,12c3.309,0,6-2.691,6-6S52.309,0,49,0z M11,9c0-1.103,0.897-2,2-2s2,0.897,2,2s-0.897,2-2,2
|
||
|
|
S11,10.103,11,9z M6,51c-2.206,0-4-1.794-4-4s1.794-4,4-4s4,1.794,4,4S8.206,51,6,51z M33,49c0,2.206-1.794,4-4,4s-4-1.794-4-4
|
||
|
|
s1.794-4,4-4S33,46.794,33,49z M29,31c-3.309,0-6-2.691-6-6s2.691-6,6-6s6,2.691,6,6S32.309,31,29,31z M47,41c0,1.103-0.897,2-2,2
|
||
|
|
s-2-0.897-2-2s0.897-2,2-2S47,39.897,47,41z M49,10c-2.206,0-4-1.794-4-4s1.794-4,4-4s4,1.794,4,4S51.206,10,49,10z"></path></svg></div><div id="global-graph-outer"><div id="global-graph-container" data-cfg="{"drag":true,"zoom":true,"depth":-1,"scale":0.9,"repelForce":0.5,"centerForce":0.3,"linkDistance":30,"fontSize":0.6,"opacityScale":1,"showTags":true,"removeTags":[]}"></div></div></div><div class="toc desktop-only"><button type="button" id="toc" class><h3>Table of Contents</h3><svg xmlns="http://www.w3.org/2000/svg" width="24" height="24" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round" class="fold"><polyline points="6 9 12 15 18 9"></polyline></svg></button><div id="toc-content"><ul class="overflow"><li class="depth-0"><a href="#容器生命周期管理" data-for="容器生命周期管理">容器生命周期管理</a></li><li class="depth-0"><a href="#容器操作" data-for="容器操作">容器操作</a></li><li class="depth-0"><a href="#容器-rootfs-命令" data-for="容器-rootfs-命令">容器 Rootfs 命令</a></li><li class="depth-0"><a href="#镜像仓库" data-for="镜像仓库">镜像仓库</a></li><li class="depth-0"><a href="#本地镜像管理" data-for="本地镜像管理">本地镜像管理</a></li><li class="depth-0"><a href="#系统信息" data-for="系统信息">系统信息</a></li></ul></div></div><div class="backlinks "><h3>Backlinks</h3><ul class="overflow"><li>No backlinks found</li></ul></div><div class="explorer mobile-only"><button type="button" id="explorer" data-behavior="collapse" data-collapsed="collapsed" data-savestate="true" data-tree="[{"path":"Basics","collapsed":true},{"path":"Basics/english","collapsed":true},{"path":"Blog","collapsed":true},{"path":"Book","collapsed":true},{"path":"Book/个人成长","collapsed":true},{"path":"Book/医学健康","collapsed":true},{"path":"Book/历史","collapsed":true},{"path":"Book/哲学宗教","collapsed":true},{"path":"Book/心理","collapsed":true},{"path":"Book/政治军事","collapsed":true},{"path":"Book/教育学习","collapsed":true},{"path":"Book/文学","collapsed":true},{"path":"Book/生活百科","collapsed":true},{"path":"Book/社会文化","collapsed":true},{"path":"Book/科学技术","collapsed":true},{"path":"Book/经济理财","collapsed":true},{"path":"Book/艺术","collapsed":true},{"path":"Book/计算机","collapsed":true},{"path":"Company","collapsed":true},{"path":"Company/信息化","collapsed":true},{"path":"Company/信息化/规范","collapsed":true},{"path":"Culture","collapsed":true},{"path":"Government","collapsed":true},{"path":"Government/中国","collapsed":true},{"path":"Government/中国/标准","collapsed":true},{"path":"Government/中国/法律","collapsed":true},{"path":"Journal","collapsed":true},{"path":"Journal/2022","collapsed":true},{"path":"Journal/2022/W34","collapsed":true},{"path":"Journal/2022/W35","collapsed":true},{"path":"Journal/2022/W36","collapsed":true},{"path":"Journal/2022/W37","c
|
||
|
|
function toggleCallout() {
|
||
|
|
const outerBlock = this.parentElement;
|
||
|
|
outerBlock.classList.toggle(`is-collapsed`);
|
||
|
|
const collapsed = outerBlock.classList.contains(`is-collapsed`);
|
||
|
|
const height = collapsed ? this.scrollHeight : outerBlock.scrollHeight;
|
||
|
|
outerBlock.style.maxHeight = height + `px`;
|
||
|
|
let current = outerBlock;
|
||
|
|
let parent = outerBlock.parentElement;
|
||
|
|
while (parent) {
|
||
|
|
if (!parent.classList.contains(`callout`)) {
|
||
|
|
return;
|
||
|
|
}
|
||
|
|
const collapsed2 = parent.classList.contains(`is-collapsed`);
|
||
|
|
const height2 = collapsed2 ? parent.scrollHeight : parent.scrollHeight + current.scrollHeight;
|
||
|
|
parent.style.maxHeight = height2 + `px`;
|
||
|
|
current = parent;
|
||
|
|
parent = parent.parentElement;
|
||
|
|
}
|
||
|
|
}
|
||
|
|
function setupCallout() {
|
||
|
|
const collapsible = document.getElementsByClassName(
|
||
|
|
`callout is-collapsible`
|
||
|
|
);
|
||
|
|
for (const div of collapsible) {
|
||
|
|
const title = div.firstElementChild;
|
||
|
|
if (title) {
|
||
|
|
title.removeEventListener(`click`, toggleCallout);
|
||
|
|
title.addEventListener(`click`, toggleCallout);
|
||
|
|
const collapsed = div.classList.contains(`is-collapsed`);
|
||
|
|
const height = collapsed ? title.scrollHeight : div.scrollHeight;
|
||
|
|
div.style.maxHeight = height + `px`;
|
||
|
|
}
|
||
|
|
}
|
||
|
|
}
|
||
|
|
document.addEventListener(`nav`, setupCallout);
|
||
|
|
window.addEventListener(`resize`, setupCallout);
|
||
|
|
</script><script type="module">
|
||
|
|
import mermaid from 'https://cdn.jsdelivr.net/npm/mermaid/dist/mermaid.esm.min.mjs';
|
||
|
|
const darkMode = document.documentElement.getAttribute('saved-theme') === 'dark'
|
||
|
|
mermaid.initialize({
|
||
|
|
startOnLoad: false,
|
||
|
|
securityLevel: 'loose',
|
||
|
|
theme: darkMode ? 'dark' : 'default'
|
||
|
|
});
|
||
|
|
document.addEventListener('nav', async () => {
|
||
|
|
await mermaid.run({
|
||
|
|
querySelector: '.mermaid'
|
||
|
|
})
|
||
|
|
});
|
||
|
|
</script><script src="https://cdn.jsdelivr.net/npm/katex@0.16.7/dist/contrib/copy-tex.min.js" type="application/javascript"></script><script src="../../../../postscript.js" type="module"></script></html>
|