从字符串中删除第一个正斜杠

Question

我正在尝试从 shell 脚本中的字符串中删除第一个 / 。

例如

文件：///路径/到/文件

并输出到

文件：//路径/到/文件

Answer 1

如果字符串在 shell 变量中，则可以使用 shell 参数扩展：

$ var='file:///path/to/file'

$ echo "${var/\//}"
file://path/to/file