安装 ext-dom (Linux - Shell/Bash)

如果你是一个 PHP 开发者，ext-dom 可能是你经常需要用到的一个 PHP 扩展。由于 PHP 是一门解释性语言，ext-dom 用 C 语言进行开发，通过扩展机制实现了 DOM 操作相关的函数。如果你需要使用诸如 createElement，createTextNode，setAttribute，appendChild 之类的 DOM 操作函数，那么你需要安装 ext-dom 扩展。

以下是安装 ext-dom 扩展的步骤：

步骤 1 - 安装依赖项

在安装 ext-dom 之前，我们需要先安装一些依赖项。在 Ubuntu 中，你可以通过以下命令安装：

sudo apt-get install libxml2-dev

步骤 2 - 安装 ext-dom

接下来，我们可以通过 pecl 命令来安装 ext-dom 扩展：

sudo pecl install xml
sudo pecl install dom

之后，我们需要将扩展添加到 PHP 的配置文件中（例如，php.ini）。你可以通过以下命令打开 php.ini 文件（前提是你安装了 vim 编辑器）：

sudo vim /etc/php/7.2/cli/php.ini

在文件中找到以下行：

;extension=dom.so

将其修改为：

extension=dom.so

保存并退出 vim 编辑器。现在，ext-dom 扩展应该已经安装并启用了。

步骤 3 - 检查是否安装成功

最后，我们需要检查 ext-dom 是否已经成功安装了。你可以通过以下命令查看PHP的扩展信息：

php -m

如果你能够在列出的扩展中看到 "dom"，那么 ext-dom 就已经被成功地安装了。

结论

这篇教程介绍了在 Ubuntu 中安装 ext-dom 扩展的步骤。我们需要先安装一些依赖项，然后通过 pecl 命令来安装 ext-dom 扩展。最后，我们需要将扩展添加到 PHP 的配置文件中，并检查 ext-dom 是否已经成功安装了。如果你需要使用 PHP 的 DOM 操作函数，那么 ext-dom 扩展将能够帮助你实现这些功能。