欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Red Hat Network
来自开放百科 - 灰狐
Red Hat Network[红帽网络]是一个 Linux 的完整的系统管理平台.它是构建在开放标准上的、使用一个基于互联网的简单图形界面的系统.它也具有模块化的设计,随着网络的扩展,系统管理员可以为系统更新、管理以及监控整个系统增加新的能力.
主要功能
- 更新:方便地对您的红帽系统进行软件更新.
- 管理:增强管理能力并提高您的 Linux 实施的可扩展性.
- Provisioning:系统快照、集成的 kickstarts、配置管理以及更多功能.
文档
分享您的观点
