BerOS 文件系统路径归一化问题及其 Python 实现

题目背景

本文将讨论一道与操作系统路径归一化有关的问题，该问题来自 BerOS 文件系统 的设计。BerOS 是一个新型操作系统，其文件路径系统允许路径中的分隔符 / 重复出现。例如，以下路径被视为等价的：

• /usr//local//nginx/sbin/
• /usr/local/nginx///sbin

为了优化文件系统操作，我们需要将路径转化为一种标准化形式，即：

1. 重复的 / 被合并为单个 /。
2. 结尾处的多余 / 被移除（如果路径非根目录）。
3. 保留路径最小的 / 数量。

输入输出格式

输入：

• 一行路径字符串，路径仅由小写字母、字符 / 组成。
• 路径始终以字符 / 开头。
• 路径长度不超过 100 个字符。

输出：

• 标准化后的路径。

示例：

输入	输出
//usr//local//nginx/sbin	/usr/local/nginx/sbin
/usr///local//	/usr/local

---

Pyth