## debian Debian 参考手册 Osamu Aoki (青木修) 版权 $ ^{©} $ 2013-2021 青木修 Debian 参考手册（版本 2.109）(2023-12-18 14:53:01 UTC) 旨在作为一份 Debian 系统安装后的用户指南，为 Debian 系统的使用与管理提供广泛的概览。它通过为非开发者编写的 shell 命令示例来涵盖系统管理的方方面面。 ... 67 2.7.7 使用 apt-pinning 调整获选版本 ..... 68 2.7.8 阻止推荐的软件包的安装 ..... 70 2.7.9 使用带有 unstable 软件包的 testing 版本 ..... 70 2.7.10 使用带有 experimental 软件包的 unstable 版本 ..... 71 2.7.11 紧急降级 ..... 72 2 126 8 国际化和本地化 ..... 128 8.1 语言环境 ..... 128 8.1.1 UTF-8 语言环境的基本原理 ..... 128 8.1.2 语言环境的重新配置 ..... 129 8.1.3 文件名编码 ..... 129 8.1.4 本地化信息和翻译文档 ..... 130 8.1.5 语言环境的影响 ..... 130 8.2 键盘输入 ...

# MySQL ZIP Archive版本安装说明 ## 1 系统环境 硬件 Surface Pro 4 ; 操作系统 Windows 10专业版 16299.19 64bit ; MySQL MySQL Community Server 5.7.20, Windows (x86,64bit) ZIP Archive ; MySQL安装路径 C:\MySQL，请视自己计算机情况选择安装目录。 ## 2 软件下载 • MySQL下载地址：https://dev.mysql.com/downloads/mysql/ • 下载版本：Windows (x86, 64-bit), ZIP Archive, mysql-5.7.20-winx64.zip ## 3 软件安装 使用管理员权限打开命令提示符，步骤：开始菜单选择Windows系统 - 命令提示符 - 在其上点击右键选择 - 更多

# 元CloudDB Release Note 版本号：V2.1 发布日期：2022年10月 ## 内核 - 聚集下推功能得到增强：通过把聚集操作下推到连接操作之前去执行，极大的减少连接操作需要处理的数据量，使得查询性能显著提升。 - 实现了 Block Skipping 的优化机制：数据库运行查询语句时，通过计算每个块（block）中列聚集信息，在执行期间跳过非必要的数据块，减少数据读取量提高查询性能。

基于FUSE的实现 • curve / ceph / gluster • LD_PRELOAD重载文件系统系统调用 • vpp / f-stack / DirectFUSE • Kernel版本实现 - BentoFS 基于rust的实现 ![Image](/uploads/documents/6/c/0/1/6c01327bb5df49cd2bce19fc844f8319/p10_1 ssue、改进网站、交流分享等，提高自己专业能力的同时还可以提升个人影响力、扩展人脉。 • 项目https://github.com/opencurve/curve • 版本发布周期：每半年一个大版本，1～2个月一个小版本 - 了解Curve进展：每隔2周的Curve周会说明Curve进展以及讨论相关问题 - 提交bug与建议：http://github.com/opencurve/curve/issues

# NetBackup $ ^{™} $ for SQLite 管理指南 Windows 和 Linux 版本 10.2 # NetBackup $ ^{TM} $ for SQLite 管理指南 上次更新时间：2023-04-28 ## 法律声明 Copyright $ \copyright $ 2023 Veritas Technologies LLC. $ \copyright com ## 文档 请确保您的文档是最新版本。每个文档都在第 2 页上显示上次更新日期。最新的文档可在 Veritas 网站上找到： https://sort.veritas.com/documents ## 文档反馈 您的反馈对我们非常重要。请提出您对本文档的改进建议，或者就本文档中的错误或疏漏进行报告。请注明所报告文本的文档标题、文档版本和章节标题。发送反馈到： NB.docs@veritas 扩展了 NetBackup 的功能，以包括备份和还原 SQLite 数据库的功能。代理支持 SQLite 版本 3.10.0 及更高版本。 NetBackup for SQLite 可与 NetBackup 客户端一起使用。 注意：确保所有 NetBackup 主机均为同一 NetBackup 版本，以便成功执行备份和还原操作。 此外，代理还支持： 验证备份。 ■ 查询备份和还原。 从目录库文件中删除备份信息。

# MyBatis 框架 # 尚硅谷 java 研究院 版本：V 1.0 ## 第 1 章 MyBatis 简介 ### 1.1 MyBatis 历史 1）MyBatis 是 Apache 的一个开源项目 iBatis, 2010 年 6 月这个项目由 Apache Software Foundation 迁移到了 Google Code，随着开发团队转投 Google Code 旗下，iBatis3 4) 日期时间处理上，我们可以使用 MyBatis 基于 JSR310（Date and Time API）编写的各种日期时间类型处理器。 5) MyBatis3.4 以前的版本需要我们手动注册这些处理器，以后的版本都是自动注册的，如需注册，需要下载 mybatistypehandlers-jsr310，并通过如下方式注册 更多 Java - 大数据 - 前端 - python 人工智能资料下载，可访问百度：尚硅谷官网 DatabaseIdProvider 接口来自定义. 会通过 DatabaseMetaData#getDatabaseProductName() 返回的字符串进行设置。由于通常情况下这个字符串都非常长而且相同产品的不同版本会返回不同的值，所以最好通过设置属性别名来使其变短。 Property-name: 数据库厂商标识 Property-value：为标识起一个别名，方便 SQL 语句使用 databaseId 属性引用

# 飞 Idris 语言文档 Version 1.3.1 ## Contents 1 Idris 教程 2 常见问题解答 (FAQ) 3 用 Idris 实现带有状态的系统：ST 教程 4 The Effects Tutorial 5 Theorem Proving 6 Language Reference 7 Tutorials on the Idris Language mmons.org/publicdomain/zero/1.0/deed.zh Idris 教程 本文档为 Idris 的教程，它简单介绍了如何用 Idris 语言编程。文档中覆盖了该语言的核心特性，并假定你至少熟悉一门函数式编程语言，如 Haskell 或 OCaml。 注解：Idris 文档已按照 创作共用 CC0 许可协议 发布。因此根据法律规定，Idris 社区 已放弃对 Idris 文档的所有版权以及相关或邻接的权利。 文档的所有版权以及相关或邻接的权利。 关于 CC0 的更多信息参见：https://creativecommons.org/publicdomain/zero/1.0/deed.zh ### 1.1 引言 在传统编程语言中，类型与值之间有明确的区分。例如在 Haskell 中，下面这些类型分别表示整数、字符、字符列表以及任意值的列表： • Int, Char, [Char], [a] 与此对应，下面这些值分别为上述类型的成员：

## Go语言基础 Golang Fundaments 中山大学 数据科学与计算学院 潘茂林 panml@mail.sysu.edu.cn ## 大纲 • Golang-设计哲学 • 基础知识学习 • Go语言的入门资源 • 本地项目工作空间组织 • 开始编程 ## Golang-设计哲学 ## 我们需要什么样的语言 曾经 我们对包含大量代码的程序印象深刻。 - 我们努力在代码库中创建大型抽象。 这是一个有效的程序吗? - 是正确的吗? - 按时完成了吗? - 花了成本（时间、空间复杂度）？ 渴望成为质量、效率和简单的冠军。 • 有自己的观点。 • 重视反省和自我检讨。 ## Go语言应该是这样的 · 易于阅读代码 - 对遗存软件友好 • 心智模型 • 生产率与性能 • 正确性与性能 • 规则 • 方便代码评审 - 完整性 - 可读性 - 简单性 - 性能 • 实用主义的语言风格 - 面向编译器的静态类型语言 • 数据类型必须在编译阶段确定 • 语言能充分发挥编译优化技术 - 复古且简便的语言 • 集合了多种语言实用的语法表示 • 函数是一等公民（First-Class Functions） • 抛弃了面向对象 - 开放（几乎所有资源都在github上） ## • 语法基本特点 - C 语言的身体（语法基本类似 C 语言） – Python

绘制的 UML  PlantUML 语言参考指引 (Version 1.2021.2) PlantUML 是一个开源项目，支持快速绘制： · 时序图 • 用例图 类图 • 对象图 · 活动图 · 组件图 · 部署图 • 架构图 规范和描述语言 (SDL) - 规范和描述语言 (SDL) • Ditaa diagram 甘特图 • MindMap diagram • Work Breakdown Structure diagram • 以 AsciiMath 或 JLaTeXMath 符号的数学公式 • Entity Relationship diagram 通过简单直观的语言来定义这些示意图。 ## [Image](/uploads/documents/3/4/5/c/345c7798228083c9f970b76c03e7a0e1/p29_2.jpg) ### 1.34 移除脚注 使用 hide footbox 关键字移除脚注。 Alice -> Bob: Authentication Request Bob -> Alice: Authentication Response @enduml

PlantUML 语言参考指引 (Version 1.2021.1) PlantUML 是一个开源项目，支持快速绘制： · 时序图 • 用例图 类图 • 对象图 · 活动图 · 组件图 · 部署图 • 状态图 • 定时图 同时还支持以下非 UML 图: • JSON Data • Network diagram (nwd) · 线框图形界面 • 架构图 规范和描述语言 (SDL) (SDL) - 规范和描述语言 (SDL) • Ditaa diagram 甘特图 • MindMap diagram • Work Breakdown Structure diagram • 以 AsciiMath 或 JLaTeXMath 符号的数学公式 • Entity Relationship diagram 通过简单直观的语言来定义这些示意图。 ## 1 时序图 ### 1.1 [Image](/uploads/documents/5/d/9/3/5d939329963125474656175552027d1e/p27_2.jpg) ### 1.34 移除脚注 使用 hide footbox 关键字移除脚注。 Alice -> Bob: Authentication Request Bob -> Alice: Authentication Response @enduml