如何检查 Linux 中是否安装了软件包
介绍 在这个实验中，你将学习如何使用各种命令行工具来检查特定软件包是否已安装在你的 Linux 系统上。你将探索 CODE0 命令，以获取已安装软件包的完整列表，以及如何使用 CODE1 过滤此列表。 此外，你将了解如何验证软件包的安装情况，并使用 CODE0 和 CODE1 命令检索已安装软件包的
介绍
在这个实验中，你将学习如何使用各种命令行工具来检查特定软件包是否已安装在你的 Linux 系统上。你将探索 CODE0 命令，以获取已安装软件包的完整列表，以及如何使用 CODE1 过滤此列表。
此外，你将了解如何验证软件包的安装情况，并使用 CODE0 和 CODE1 命令检索已安装软件包的详细信息，这将为你提供在基于 Debian 的 Linux 发行版上管理软件的必要技能。
使用 apt list --installed 检查软件包状态
在这一步中，你将学习如何使用 CODE_0 命令来检查系统上安装了哪些软件包。
Linux 系统，尤其是像 Ubuntu（你在本实验中使用的系统）这样基于 Debian 的系统，使用软件包管理器来管理软件。CODE_0 是为此目的而设计的强大命令行工具。
CODE0 命令用于根据条件列出软件包。添加 CODE1 选项可以过滤列表，只显示当前系统上已安装的软件包。
如果终端尚未打开，请打开它。记住，你可以在桌面左侧找到 Xfce Terminal 图标。
输入以下命令并按回车键：
apt list --installed你将看到一长串软件包列表。该列表包含软件包名称、版本和架构信息。
Listing...
accountsservice/jammy-updates,now 0.6.55-0ubuntu12~22.04.5 amd64 [installed]
acl/jammy,now 2.3.1-1 amd64 [installed]
adduser/jammy,jammy,now 3.118ubuntu8 all [installed]
...
zlib1g/jammy-updates,now 1:1.2.11.dfsg-2ubuntu1.6 amd64 [installed]
zsh/jammy-updates,now 5.8.1-1ubuntu1.4 amd64 [installed]此命令对于全面了解系统上安装的软件非常有用。由于列表可能很长，你可能需要向上滚动以查看输出的开头。
为了更方便地处理输出，你可以使用管道符号 (CODE0) 将 CODE1 与其他命令结合使用。例如，要搜索特定的软件包，如 CODE2（你在上一个实验中安装的），可以使用 CODE3：
apt list --installed | grep htop此命令将 CODE0 的输出作为输入“管道”传递给 CODE1 命令，CODE_2 命令会搜索包含“htop”的行。
你应该会看到类似以下的输出，确认 CODE_0 已安装：
htop/jammy,now 3.0.5-1build2 amd64 [installed]将 CODE0 与 CODE1 结合使用是一种快速检查特定软件包是否存在于系统上的方法。
点击 Continue 进入下一步。
使用 dpkg -l 验证软件包安装情况
在这一步中，你将使用 CODE0 命令来验证软件包的安装状态。虽然 CODE1 是用于管理软件包（安装、移除、更新）的高级工具，但 CODE2 是处理 CODE3 软件包文件实际安装和移除的底层工具。
CODE0 命令与 CODE1 类似，都会列出软件包，但它提供的信息略有不同，并且常用于更详细的状态检查。
打开你的终端。输入以下命令并按回车键：
dpkg -l同样，你会看到一长串软件包列表。其输出格式与 CODE_0 略有不同。
Desired=Unknown/Install/Remove/Purge/Hold
| Status=Not/Inst/Conf-files/Unpacked/halF-conf/Half-inst/Trig-aWait/Trig-pend
|/ Err?=(none)/Reinst-required (Status,Err: uppercase=bad)
||| Name Version Architecture Description
+++-===================================-===========================-============-===============================================================================
ii accountsservice 0.6.55-0ubuntu12~22.04.5 amd64 query and manipulate user account information
ii acl 2.3.1-1 amd64 Access control list utilities
ii adduser 3.118ubuntu8 all add and remove users and groups
...
ii zlib1g:amd64 1:1.2.11.dfsg-2ubuntu1.6 amd64 compression library - runtime
ii zsh 5.8.1-1ubuntu1.4 amd64 shell with lots of features让我们来分析一下前几列的含义：
- Desired：用户希望对软件包执行的操作（例如，CODE0 表示安装，CODE1 表示移除）。
- Status：软件包的当前状态（例如，CODE0 表示已安装，CODE1 表示仅存在配置文件，CODE_2 表示已清除）。
- Err?：表示软件包是否存在错误。
大多数行开头的 CODE_0 表示“Install Ok, Installed”（安装正常，已安装）。这表明软件包已正确安装。
与 CODE0 类似，你可以使用 CODE1 来查找特定的软件包。让我们再次检查 CODE_2：
dpkg -l | grep htop你应该会看到类似这样的一行，确认 CODE_0 的状态：
ii htop 3.0.5-1build2 amd64 interactive processes viewerCODE0 所在行开头的 CODE1 确认它已正确安装。
虽然 CODE0 通常在获取简单列表时更快，但 CODE1 提供了更详细的状态标志，这对于排查安装问题很有帮助。
点击 Continue 继续。
使用 apt policy 检查软件包详细信息
在这一步中，你将使用 CODE_0 命令来获取软件包的详细信息，包括其已安装版本以及不同软件源中可用的版本。此命令对于了解软件包的来源，以及如果你要升级或重新安装该软件包时会安装哪个版本特别有用。
打开你的终端。让我们使用 CODE0 来检查 CODE1 软件包。输入以下命令并按回车键：
apt policy htop你会看到类似以下的输出：
htop:
Installed: 3.0.5-1build2
Candidate: 3.0.5-1build2
Version table:
*** 3.0.5-1build2 500
500 http://archive.ubuntu.com/ubuntu jammy/universe amd64 Packages
100 /var/lib/dpkg/status让我们来分析一下输出内容：
- Installed：显示当前系统上已安装的 CODE_0 版本。
- Candidate：显示如果你运行 CODE0 或 CODE1 时将会安装的版本。在这种情况下，已安装版本也是候选版本。
- Version table：列出了配置的软件源中该软件包的可用版本。
- 以 CODE_0 开头的行表示已安装版本及其优先级。
- 以 CODE0 开头的行显示了来自 Ubuntu CODE1 软件源的可用版本及其优先级（500）。
- 以 CODE0 开头的行指的是来自 CODE1 状态文件的已安装版本。
这些数字（如 500 和 100）代表软件包源的优先级。在安装或升级时，会优先选择优先级较高的软件源。
CODE_0 是一个强大的命令，可用于调试软件包问题、理解为什么安装了特定版本的软件包，或者查看配置的软件源中可用的版本。
你也可以在不指定软件包名称的情况下运行 CODE_0，以查看所有软件包的策略，其中包括你配置的软件源及其优先级的信息。不过，该输出会非常长。
你现在已经学习了三种不同的方法来检查已安装软件包的状态和详细信息：CODE0、CODE1 和 CODE_2。这些命令是在基于 Debian 的 Linux 系统上管理软件的重要工具。
点击 Continue 完成本实验。
总结
在本次实验过程中，你掌握了运用三种不同的命令行工具来检测Linux系统中是否安装了特定软件包的方法。首先，你使用了CODE0来获取所有已安装软件包的完整清单，并且学会了如何运用CODE1对该输出进行过滤，从而查找特定的软件包。
接着，你研究了CODE0，这可是另一个用于管理Debian软件包的命令行工具，它能验证软件包的安装状态，还能查看其详细信息呢。最后，你运用CODE1来检查软件包的安装细节，像版本啦、来源啦这些，这样就能更深入地了解系统上软件包的管理方式了。
WPS Office是一款面向macOS用户的综合办公套件，将文字处理、电子表格、演示文稿、PDF工具、模板与云协作整合在同一应用中。它兼容常见Microsoft Office格式，支持Intel及Apple芯片Mac，基础功能可免费使用，
Shapr3D是一款面向工业设计、机械工程、建筑概念和三维打印工作流的CAD软件。Mac版采用Parasolid建模内核，支持草图约束、实体建模、工程图、可视化渲染及常见CAD格式交换，并可通过账户在多台设备之间同步项目。
REAPER是Cockos开发的数字音频工作站，提供多轨音频与MIDI录制、剪辑、处理、混音和母带制作工具。Mac版兼容Intel与Apple芯片，支持AU、VST、VST3、CLAP等插件格式，并提供高度可定制的工作流程。
Ableton Live 是面向音乐制作人与现场表演者的数字音频工作站，提供编曲视图、独具特色的现场视图、音频录制、MIDI创作、实时变速、乐器及效果器。Mac版原生支持Apple芯片，并可连接音频接口、MIDI控制器和第三方插件。
Adobe After Effects 是面向动态图形、影视特效与视频合成的专业创作软件。它提供关键帧动画、遮罩抠像、运动跟踪、三维空间、文字动画和表达式等工具，并可与 Premiere Pro、Photoshop、Illustrator
Adobe Audition 是面向播客、影视后期、音乐制作及内容创作者的专业音频工作站，提供波形精修、多轨录制与混音、频谱编辑、降噪修复、响度匹配和效果处理工具，并可与 Adobe Premiere 协同完成视频声音制作。
Adobe Bridge 是面向摄影师、设计师及内容团队的免费数字资产管理工具，可集中预览照片、视频和 Adobe 项目文件，并利用评级、标签、关键词、元数据、筛选与收藏集完成分类检索。它还支持批量重命名、格式导出、相机导入及 Camera
Adobe Illustrator 是 Adobe 推出的专业矢量图形设计软件，适合在 Mac 上制作标志、图标、插画、包装、信息图及印刷版面。它以路径和锚点构建可无损缩放的图形，并提供钢笔、形状、文字、图像描摹、渐变、画板及生成式功能。
Adobe InDesign 是面向印刷品与数字出版物的专业版面设计软件，可在 Mac 上制作书籍、杂志、宣传册、海报、报告及交互式文档。它提供精细的文字样式、网格、母版、长文档管理和印前输出能力。
Adobe Lightroom Classic 是面向桌面摄影工作流的照片管理与后期处理软件，可将原始照片保存在本地硬盘，通过目录、关键词、评分和收藏夹高效整理图库，并提供 RAW 冲印、蒙版、镜头校正、批量同步及多格式导出等功能。
Adobe Media Encoder 是 Adobe 推出的专业音视频编码与转码工具，可通过队列、预设和监视文件夹批量完成格式转换、代理文件创建及多平台成片输出，并与 Premiere Pro、After Effects 等软件紧密协作。
Adobe Photoshop 是面向摄影师、设计师和内容创作者的专业图像处理软件，提供图层、蒙版、选区、修复、调色、文字排版、智能对象及生成式编辑等能力。Mac 版支持 Intel 与 Apple Silicon 处理器。
AutoCAD 是 Autodesk 推出的专业计算机辅助设计软件，Windows 版支持精确二维绘图、三维实体与曲面建模、图纸标注、布局发布和任务自动化，并包含多套行业专业化工具组合，适用于建筑、机械、电气、工程建设及制造设计人员。
SketchUp Pro 是面向建筑、室内、景观、施工和产品设计等专业场景的三维建模工具，提供桌面建模、LayOut 二维文档、模型资源库、扩展程序及云端协作能力。其操作逻辑直观，适合从概念推敲、空间规划到图纸表达和方案汇报的完整工作流程。
AutoCAD LT 是 Autodesk 推出的专业二维 CAD 软件，适合建筑师、工程师、施工人员和设计师完成精确绘图、标注及文档编制。它支持 DWG 工作流、智能块、图形比较、计数、表格和 AutoLISP 自动化，
Rhino 3D 是 McNeel 推出的专业三维建模工具，可创建、编辑和分析 NURBS 曲线曲面、实体、网格、SubD 与点云。Windows 版支持精确造型、工程制图、渲染、文件转换及 Grasshopper 参数化设计，
Autodesk Fusion 是面向产品设计与制造的云连接开发平台，在统一环境中整合三维 CAD、CAM、CAE、PCB、工程图、数据管理和团队协作功能，适合产品设计师、机械工程师、电子工程师及加工制造团队完成从概念建模、验证分析到生产交
Archicad 是 Graphisoft 面向建筑师、设计师、工程师及 BIM 团队开发的建筑信息模型平台。它把三维建筑建模、施工文档、数据管理、专业协调、实时协作和可视化集中在统一项目环境中，适合从概念方案到施工交付的完整建筑设计流程。
Vectorworks Architect 是面向建筑师、室内设计师和建筑顾问的综合设计与BIM平台，覆盖概念草图、二维制图、三维建模、施工文档、数据报表、可视化及开放式协作。它强调自由造型与数据化建筑对象并存，
Shapr3D 是一款基于 Siemens Parasolid 几何内核的专业三维CAD软件，可在 Windows 电脑和平板设备上完成草图绘制、实体建模、参数化修改、模型可视化及技术图纸制作。软件提供免费基础方案，
FreeCAD 是面向机械设计、产品开发、建筑建模和创客项目的免费开源参数化三维 CAD 工具。它可在 Windows 上完成约束草图、实体零件、装配、工程图、BIM、有限元分析及 CAM 等任务，
Twinmotion 是 Epic Games 推出的实时三维可视化工具，可导入常见 CAD、BIM 与三维模型，通过材质、环境、植被、灯光及动画资源快速构建场景，并输出图片、视频、全景图和交互演示。
BricsCAD 是以 DWG 为核心格式的专业 CAD 平台，可用于二维制图、三维建模、工程文档与设计协作。产品按 Lite、Pro、BIM、Mechanical 和 Ultimate 等层级提供不同工具，
Ableton Live 是面向音乐创作、录音、编曲、声音设计、混音与现场演出的数字音频工作站。它将适合即兴触发素材的 Session 视图与传统时间线编曲结合，并提供音频变速、MIDI工具、软件乐器、效果器和声音资源，