我在文件 file.html 中有以下链接
href="Getting_started.html"
href="Authentication.html" and many more.
我希望这些链接写成
href="/docs/Getting_started.html"
href="/docs/Authentication.html"
所以我使用了以下命令
sed -i 's/href=\"/href="\/docs\//g' file.html
我的问题：有没有其他更好的方法来执行相同的任务，或者运行此命令没有坏处？