首页
学习
活动
专区
圈层
工具
发布
社区首页 >问答首页 >编辑多个HTML文件

问编辑多个HTML文件
EN

Stack Overflow用户
提问于 2010-11-16 18:52:25
回答 3查看 406关注 0票数 2

我有90个html文件,其中播放音频文件(错误链接),我需要更改音频文件的src在这些文件中的每一个。

从…

代码语言:javascript
复制
<embed src="../audio/" autostart=false width=0 height=0 id="sound1" enablejavascript="true">

至:

文件1:

代码语言:javascript
复制
<embed src="../audio/1.mp3" autostart=false width=0 height=0 id="sound1" enablejavascript="true">

文件2:

代码语言:javascript
复制
<embed src="../audio/2.mp3" autostart=false width=0 height=0 id="sound1" enablejavascript="true">

..。

对自动化方法有什么建议吗?谢谢

稍后编辑:

新的src对于每个文件都是不同的...有没有可能为每个文件自动填充这个文件?for file1 -> src1,file2 -> src2 ...

EN

回答 3

Stack Overflow用户

回答已采纳

发布于 2010-11-16 18:54:11

Notepad ++有一些很好的搜索和替换功能,你可以在这里使用。

票数 2
EN

Stack Overflow用户

发布于 2010-11-16 18:55:01

GNU就是您需要的:http://www.gnu.org/software/sed/

或者最终傻眼:http://www.gnu.org/software/gawk/

票数 2
EN

Stack Overflow用户

发布于 2010-11-16 18:55:30

您可以使用dreamweaver软件查找并将所有文件替换为您的新音频名称

票数 1
EN
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接:

https://stackoverflow.com/questions/4193361

复制
相关文章

相似问题

领券
问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档