我在Debian网站上找到了gnome-shell UI js文件的源代码:
https://sources.debian.org/src/gnome-shell/3.38.2-1/js/ui/
然后我也在这里找到了这个答案,它指出这个路径/文件不久前就存在于Ubuntu中:
/usr/share/gnome-shell/js/ui/windowManager.js
Run Code Online (Sandbox Code Playgroud)
js但是现在,我在 中没有看到子目录/usr/share/gnome-shell/。
我在整个/分区中搜索了“lightbox.js”和“windowManager.js”,但没有找到。
在哪里可以找到这些文件?如果我想更改其中某些硬编码变量的值,需要克服哪些障碍?
我是 Linux 新手,这似乎微不足道,但我找不到简单的解决方案。
我将 VS Code 下载到我的主目录并解压缩它。
我知道我必须修改文件,chmod +x code然后./code 在终端中运行它。
但是如何将它添加为桌面图标,甚至作为我的任务栏中的收藏夹?
我找到了这个解决方案(https://askubuntu.com/a/66918),但 Gnome 桌面图标似乎在 Ubuntu 20.04 中被删除了。