我写了一个小的GNOME Shell扩展,我想分发给一些同事。
为此,我创建了一个RPM。安装后,需要重新启动GNOME-Shell才能使扩展可见,因此可以启用它。使用X11时,先使用<ALT-F2>
,然后使用r
,或者使用Wayland登出并注销。
仅在重新启动后,扩展名才能在GNOME-Tweaks中看到,或者可以使用gnome-extensions enable ...
激活。
有人告诉我可能是一种无需重新启动即可使GNOME-Shell知道扩展的方法。我四处搜寻,但没有找到任何东西。
因此:可以以不需要重新启动即可激活的方式安装GNOME-Shell扩展吗?
环境是Fedora 31和32上的GNOME Shell 3.34和3.36。
答案 0 :(得分:0)
这将启用扩展,就好像它来自自我。如果扩展名位于int b = 15;
printf("prints 1 when any bit of a number equals 0: %d\n", //PRINT GOES HERE);
b = 10;
printf("prints 1 when any bit of a number equals 0: %d\n", //PRINT GOES HERE);
中,则将global.userdatadir
替换为global.datadir
,将PER_USER
替换为SYSTEM
。
/usr/share/gnome-shell/extensions/