下 下载 载 载并 并 并安 安 安装 装 装 如果你满足所有的前提需求，那么安装 奉 奤 奲 奩 女 的最简方式就是在命令行输入： cabal update; cabal install idris 这会安装 奈奡奣 奫 奡奧奥 中的最新版本及其所有依赖。如果你想要最新开发版的话， 可以在 奇 奩 奴 奈奵 奢 上找到 它， 然后根据构建指令来安装。 如果你之前从未安装过使用 奃 奡奢 奡奬 奥 奬 奬 ，那会很清楚这段程序在做什么，是如何做的； 如果你对它感到陌生，我们稍后会 详细地解释。你可以在命令行中输入 idris hello.idr -o hello 来将程序编译成可执行文件。 这会 创建一个名为 hello 的可执行文件，你可以运行它： $ idris hello.idr -o hello $ ./hello Hello world 请注意，美元符号 $ 表示命令行。下面是一些常用的 交互 互 互式 式 式环 环 环境 境 境 在命令行中输入 idris 来启动交互式环境。你会看到如下内容： $ idris ____ __ _ / _/___/ /____(_)____ / // __ / ___/ / ___/ Version 1.3.1 _/ // /_/ / / / (__ ) http://www.idris-lang.org/ /___/\__,_/_/ /_/____/

安裝基本系統 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52 6.3.6 Installing Additional Software . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53 6.3.6.1 Configuring Configuring apt . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53 6.3.6.1.1 Installing from more than one DVD image . . . . . . . . . . . . . 53 6.3.6.1.2 Using a network mirror . . 3 Choosing a network mirror . . . . . . . . . . . . . . . . . . . . . 54 6.3.6.2 Selecting and Installing Software . . . . . . . . . . . . . . . . . . . . . . . 54 6.3.7 使系統可開機 . . . . . . . . . . .

命令的结果如下所示： [root@linuxprobe~]# crontab -e no crontab for root - using an empty one crontab: installing new crontab [root@linuxprobe~]# crontab -l 25 3 * * 1,3,5 /usr/bin/tar -czvf backup.tar.gz /home/wwwroot /usr/share/man/man1/rm.1.gz /usr/share/man/man1p/rm.1p.gz [root@linuxprobe~]# crontab -e crontab: installing new crontab [root@linuxprobe~]# crontab -l 25 3 * * 1,3,5 /usr/bin/tar -czvf backup.tar.gz /home/wwwroot Repository Size =============================================================================== Installing: firewall-config noarch 0.6.3-7.el8 AppStream 157 k 使用 iptables 与 firewalld

the Repository maintenance) or from command line using Weblate Client. This can be automated by installing a webhook on your repository to trigger Weblate whenever there is a new commit, see Updating repositories Command(args, config, stdout=None) Main class for invoking commands. Configuration instructions Installing Weblate Depending on your setup and experience, choose an appropriate installation method for setups: Installing on Debian and Ubuntu Installing on SUSE and openSUSE Installing on RedHat, Fedora and CentOS Installing on macOS Installing from sources, recommended for development. Installing on OpenShift

the Repository maintenance) or from command line using Weblate Client. This can be automated by installing a webhook on your repository to trigger Weblate whenever there is a new commit, see Updating repositories Weblate’s Python API 139 CHAPTER2 Administrator docs 2.1 Configuration instructions 2.1.1 Installing Weblate 使用 Docker 安装 通过 dockerized Weblate 部署，您可以在几秒钟内启动并运行您的个人 Weblate 实例。Weblate 的所有依赖 项已包含在内。PostgreSQL 选择您的机器——本地或云提供商 使用 Docker Machine，您可以在本地计算机上或在任何数量的基于云的部署，例如 Amazon AWS，Greenhost 和许多其他提供商上创建 Weblate 部署。 Installing on Debian and Ubuntu 硬件要求 Weblate 应该可以在所有现代硬件上正常运行，以下是在单个主机（Weblate ，数据库和 Web 服务器）上 运行 Weblate

(in the Repository maintenance) or from command line using Weblate 客户端. This can be automated by installing a webhook on your repository to trigger Weblate whenever there is a new commit, see 更新仓库 for more 选择您的机器——本地或云提供商 使用 Docker Machine，您可以在本地计算机上或在任何数量的基于云的部署，例如 Amazon AWS，Greenhost 和许多其他提供商上创建 Weblate 部署。 Installing on Debian and Ubuntu 硬件要求 Weblate 应该可以在所有现代硬件上正常运行，以下是在单个主机（Weblate ，数据库和 Web 服务器）上 运行 Weblate size of your VCS repository, and number of messages to translate), you can start translating. Installing on SUSE and openSUSE 硬件要求 Weblate 应该可以在所有现代硬件上正常运行，以下是在单个主机（Weblate ，数据库和 Web 服务器）上 运行 Weblate

(in the Repository maintenance) or from command line using Weblate 客户端. This can be automated by installing a webhook on your repository to trigger Weblate whenever there is a new commit, see 更新仓库 for more 选择您的机器——本地或云提供商 使用 Docker Machine，您可以在本地计算机上或在任何数量的基于云的部署，例如 Amazon AWS，Greenhost 和许多其他提供商上创建 Weblate 部署。 Installing on Debian and Ubuntu 硬件要求 Weblate 应该可以在所有现代硬件上正常运行，以下是在单个主机（Weblate ，数据库和 Web 服务器）上 运行 Weblate size of your VCS repository, and number of messages to translate), you can start translating. Installing on SUSE and openSUSE 硬件要求 Weblate 应该可以在所有现代硬件上正常运行，以下是在单个主机（Weblate ，数据库和 Web 服务器）上 运行 Weblate

(in the Repository maintenance) or from command line using Weblate 客户端. This can be automated by installing a webhook on your repository to trigger Weblate whenever there is a new commit, see 更新仓库 for more Virtualenv 安装，建议用于产品设置： Installing on Debian and Ubuntu Installing on SUSE and openSUSE Installing on RedHat, Fedora and CentOS Installing on macOS Installing from sources ，建议用于开发。 Installing on OpenShift 。 本地或云提供商 使用 Docker Machine，您可以在本地计算机上或在任何数量的基于云的部 署，例如 Amazon AWS，Greenhost 和许多其他提供商上创建 Weblate 部 署。 Installing on Debian and Ubuntu 硬件要求 Weblate 应该可以在所有现代硬件上正常运行，以下是在单个主机（ Weblate ，数据库和 Web 服务器）上运行 Weblate

(in the Repository maintenance) or from command line using Weblate 客户端. This can be automated by installing a webhook on your repository to trigger Weblate whenever there is a new commit, see 更新仓库 for more Virtualenv 安装，建议用于产品设置： Installing on Debian and Ubuntu Installing on SUSE and openSUSE Installing on RedHat, Fedora and CentOS Installing on macOS Installing from sources ，建议用于开发。 Installing on OpenShift 。 本地或云提供商 使用 Docker Machine，您可以在本地计算机上或在任何数量的基于云的部 署，例如 Amazon AWS，Greenhost 和许多其他提供商上创建 Weblate 部 署。 Installing on Debian and Ubuntu 硬件要求 Weblate 应该可以在所有现代硬件上正常运行，以下是在单个主机（ Weblate ，数据库和 Web 服务器）上运行 Weblate

automake --add-missing configure.in: installing `./install-sh' configure.in: installing `./mkinstalldirs' configure.in: installing `./missing' Makefile.am: installing `./depcomp' automake 会根据 Makefile