Tips and tricks

Firefox 的 Profile 文件夹可以在这里获取:Firefox 左上角菜单栏 > Help > More Troubleshooting Information > Application Basics > Profile Folder. 在这个 Profile folder 里创建一个叫做 user.js 的文件,就可以实现导出 Firefox 的全局用户设置(修改过的 Firefox 的默认设置)。 所有在 about:config 里修改的设置都在一个叫做 prefs.js 的文件里。=> Prefs.js file 我的 Firefox 用户设置(about:config): mousewheel.with_control.action: 3 Reference: https://support.mozilla.org/en-US/questions/1197798 Change author name in commit message: git config --global user.name <name> git config --global user.email <email> 安装 LazyVim 之后,LSP 的下载会遇到一些网络问题,比如每次都是 pyright 由于一些网络原因安装失败:set -Ux https_proxy 127.0.0.1:7890 和 set -Ux http_proxy 127.0.0.1:7890 都不好使,使用 sing-box 也不行。这时只需要取消系统代理就可以成功联网安装。 ...

2025-01-08

Use native file picker on KDE Plasma

For Firefox Starting with version 64, Firefox can optionally use XDG Desktop Portals to handle various desktop features, such as opening a file picker, or handling MIME types. — Arch Wiki | Firefox | XDG Desktop Portal integration Type about:config in Firefox address bar. Search widget.use-xdg-desktop-portal.file-picker, set it to 1. 0 – Never 1 – Always 2 – Auto (typically depends on whether Firefox is run from within Flatpak or whether the GDK_DEBUG=portals environment is set) Done. For VS Code These two environment variables: GTK_USE_PORTAL=1, GDK_DEBUG=portals. ...

2023-12-09