Undefined443

2024年4月25日

摘要：有时由于镜像大小、网络限制等原因，我们不能将本地制作的容器 / 镜像上传到公共容器注册表。此时我们可以选择将镜像以本地文件的形式导出。导入 / 导出容器 docker export "CONTAINER" > image.tar # 将容器导出为镜像文件 docker import - "IMAG 阅读全文

posted @ 2024-04-25 03:49 Undefined443 阅读(317) 评论(0) 推荐(0) 编辑

tlmgr 操作

摘要：宏包管理 sudo tlmgr install <package> # 安装宏包 sudo tlmgr install scheme-full # 安装全部宏包 sudo tlmgr remove <package> # 卸载宏包 sudo tlmgr remove --all --force # 阅读全文

posted @ 2024-04-25 01:04 Undefined443 阅读(48) 评论(0) 推荐(0) 编辑

Linux 更新 TeX Live

摘要：更新 TeX Live 假设你的旧版 TeX Live 版本号为 2023，新版 TeX Live 版本号为 2024。你需要在下面的命令中相应地更改实际版本号。TeX Live 版本可以通过 tlmgr --version 命令查看。 # 移除链接文件 tlmgr path remove # 重命阅读全文

posted @ 2024-04-25 00:20 Undefined443 阅读(145) 评论(0) 推荐(0) 编辑

2024年4月24日

自制 ShareLaTeX 映像

摘要： Overleaf 官方的 sharelatex 映像的 TeX Live 版本可能较旧，无法安装最新的宏包，并且往往只包含了少量的基础宏包。为了方便使用，我们可以自己构建一个使用最新 TeX Live 的映像，并一次安装全部宏包。下面是自制映像的过程。 ⚠️: 自制映像需要 40 分钟左右构建映像阅读全文

posted @ 2024-04-24 18:57 Undefined443 阅读(113) 评论(0) 推荐(0) 编辑

Docker 发布镜像

摘要：发布镜像在 Docker Hub 发布镜像登陆到 Docker Hub docker login 标记镜像并推送到 Docker Hub docker tag <image>:<tag> <username>/<image>:<tag> docker push <username>/<image 阅读全文

posted @ 2024-04-24 18:04 Undefined443 阅读(12) 评论(0) 推荐(0) 编辑

Linux 安装 TeX Live

摘要：安装新版本 cd /tmp # 下载安装压缩包 wget https://mirror.ctan.org/systems/texlive/tlnet/install-tl-unx.tar.gz # 解压压缩包 zcat < install-tl-unx.tar.gz | tar xf - # 进入解阅读全文

posted @ 2024-04-24 16:10 Undefined443 阅读(151) 评论(0) 推荐(0) 编辑

本地部署 Overleaf 服务

摘要：前言 2017 年，Overleaf 和 ShareLaTeX 宣布合并，合并后的平台继续使用 Overleaf 的名称，整合了 ShareLaTeX 的许多功能。原先的 ShareLaTeX 代码库也改名为 Overleaf。不过官方提供的 Docker 映像目前仍叫 ShareLaTeX。因此下阅读全文

posted @ 2024-04-24 14:53 Undefined443 阅读(1668) 评论(3) 推荐(0) 编辑

LaTeX 插入代码块

摘要： LaTeX 插入代码可以使用的宏包有 verbatim、fancyvrb、listings 以及 minted。个人最推荐使用 minted。 verbatim verbatim 没有语法高亮功能，只是显示一个等宽字体的输出。查看 Overleaf 示例 % Preamble \usepackage 阅读全文

posted @ 2024-04-24 14:27 Undefined443 阅读(1301) 评论(0) 推荐(0) 编辑

2024年4月22日

Docker Windows 下的绑定挂载

摘要：在 Windows 环境下进行绑定挂载时，需要注意路径的写法，需要使用 Windows 风格 (C:\xxx\xxx) 的路径，而不是 Cygwin (/c/xxx/xxx) 风格的路径。这一点在使用 Git Bash 时要尤为注意。比如说，在 Git Bash 中，pwd 命令的输出是 /c/U 阅读全文

posted @ 2024-04-22 22:01 Undefined443 阅读(32) 评论(0) 推荐(0) 编辑

服务器初始安全设置

摘要：更新 APT 索引并安装 sudo 包 apt update apt install sudo 如果你在运行 sudo 命令时看到提示 -sh: 3: sudo: Permission denied，则表明你的系统缺少 sudo 包。创建普通用户 useradd -mG sudo USER # 创阅读全文

posted @ 2024-04-22 21:04 Undefined443 阅读(8) 评论(0) 推荐(0) 编辑

公告