如何使用bash更改字符串中的扩展名？

发布时间：2020-12-15 19:10:45 所属栏目：安全来源：网络整理

导读：我想将以下python代码翻译成bash。代码将扩展名更改为.html，并运行Safari将其打开。 #!/usr/bin/env pythonimport os.pathimport osoldName = $TM_FILEPATH(name,ext) = os.path.splitext(oldName)rename = name + ".html"os.system("open -a Safari %s" %

我想将以下python代码翻译成bash。代码将扩展名更改为.html，并运行Safari将其打开。

#!/usr/bin/env python
import os.path
import os

oldName = $TM_FILEPATH
(name,ext) = os.path.splitext(oldName)
rename = name + ".html"
os.system("open -a Safari %s" % rename)

如何使用bash更改文件扩展名？

file=somefile.whatevs
open -a Safari "${file%.*}.html"

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!