Ctrl+Shift+I 打开开发者工具。，3. 在开发者工具中，切换到“控制台”标签。，4. 在控制台中输入并执行你的 JavaScript 代码进行修改。，，这些更改仅在当前会话中有效，刷新页面后将恢复原状。如果需要永久修改，建议查看网页的源代码或联系网站管理员。为了在Firefox中修改JavaScript（JS）代码，可以采用多种方法，包括使用开发者工具、借助扩展插件以及在本地环境中进行调试，以下是详细的操作步骤和相关信息：
一、使用开发者工具修改JS
1. 打开开发者工具
快捷键：按下F12键或者右键点击页面选择“检查元素”（Inspect Element）。
菜单路径：也可以从浏览器菜单中选择“工具”->“Web开发”->“Toggle工具”（Tools -> Web Developer -> Toggle Tools）。
2. 进入控制台或源代码选项卡
控制台：在开发者工具中，点击“控制台”选项卡，这里可以直接输入并执行JavaScript代码，例如修改变量值或调用函数。
源代码：如果需要编辑页面上的JavaScript文件，可以进入“源代码”选项卡，找到需要修改的JavaScript文件，右键点击并选择“编辑文件”，进行修改后，保存即可。
3. 设置断点与修改变量
设置断点：在需要修改的变量赋值语句之后，点击语句左侧的序号来设置断点，刷新页面后，程序将在断点处暂停执行。
修改变量：切换到“控制台”标签页，设置要修改的变量的值，达到覆盖原值的目的。check_interval = 1000。
继续执行：切回“调试器”标签页，查看变量值是否被修改，然后点击右侧“继续”按钮（或按下F8键），让JavaScript顺利执行，使用修改后的值。
二、使用扩展插件修改JS
1. Greasemonkey/Tampermonkey
安装：首先需要安装Greasemonkey或Tampermonkey扩展，这些扩展允许用户编写脚本以自定义网页的行为。
创建脚本：安装后，可以创建一个新脚本，并在其中编写JavaScript代码来修改网页上的JS行为。
运行脚本：保存脚本后，当访问特定网站时，该脚本将自动运行并修改页面上的JS代码。
2. Violentmonkey
Violentmonkey是另一个流行的用户脚本管理器，与Greasemonkey/Tampermonkey类似，但提供了更多的配置选项和功能。
用户可以安装现成的脚本或编写自己的脚本来实现对网页JS代码的修改。
三、在本地环境中进行调试
1. 下载页面资源
如果需要在本地环境中进行更深入的调试，可以使用开发者工具中的“工作台”选项卡来下载页面资源。
在“工作台”选项卡中，可以选择“导入对象”作为本地文件，以便在离线环境下进行调试和修改。
2. 使用代理服务器
代理服务器是一种更为高级的方法，用于拦截和修改传输中的JavaScript代码。
Charles Proxy和Fiddler等工具允许用户拦截HTTP请求和响应，并在它们到达浏览器之前进行修改，通过代理服务器，可以在传输过程中修改JavaScript文件的内容。
通过以上几种方法，Firefox用户可以灵活地修改JavaScript代码以满足不同的需求，无论是实时调试、使用扩展插件还是本地环境调试，每种方法都有其独特的优势和适用场景。