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

前端之家收集整理的这篇文章主要介绍了如何使用bash更改字符串中的扩展名?前端之家小编觉得挺不错的,现在分享给大家,也给大家做个参考。
我想将以下python代码翻译成bash。代码将扩展名更改为.html,并运行Safari将其打开。 @H_502_1@#!/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更改文件扩展名?

@H_502_1@file=somefile.whatevs open -a Safari "${file%.*}.html"
原文链接:https://www.f2er.com/bash/387562.html

猜你在找的Bash相关文章