我正在做 Web 开发,因此我需要频繁刷新 Firefox 中的某些页面(它在另一个显示器上,因此我可以同时看到 IDE 和浏览器)。目前,我手动使用鼠标将焦点设置到 Firefox,刷新它,然后将焦点放回到 IDE。
如何添加键盘快捷键,使可见浏览器的当前活动选项卡刷新页面,同时焦点保持在当前位置?
答案1
您可以为此使用基于 xdotool 的 shell 脚本。
sudo apt-get install xdotool
然后编写一个像这样的简单脚本:
#!/bin/bash
WID=`xdotool search --name "Mozilla Firefox" | head -1`
xdotool key --window $WID F5
按照你的意愿命名并放置它。使其可执行:
chmod a+x /path/to/script
现在,您只需创建一个自定义键盘快捷键即可执行该脚本,一切就绪。
答案2
查看自动重新加载。它是 Firefox 的一个附加组件,当特定的本地文件被修改时会自动重新加载页面。