One Hat Cyber Team
Your IP :
216.73.217.15
Server IP :
157.15.65.100
Server :
Linux 157-15-65-100.cprapid.com 5.14.0-362.24.2.el9_3.x86_64 #1 SMP PREEMPT_DYNAMIC Sat Mar 30 14:11:54 EDT 2024 x86_64
Server Software :
Apache
PHP Version :
8.2.28
Buat File
|
Buat Folder
Eksekusi
Dir :
~
/
usr
/
bin
/
Edit File:
gnome-shell-extension-prefs
#!/usr/bin/sh openPrefs() { if [ "$(which gnome-extensions)" ] then gnome-extensions prefs $1 else gdbus call --session \ --dest=org.gnome.Shell.Extensions \ --object-path=/org/gnome/Shell/Extensions \ --method=org.gnome.Shell.Extensions.OpenExtensionPrefs $1 '' '{}' fi } cat >&2 <<EOT gnome-shell-extension-prefs is deprecated Install https://flathub.org/apps/details/org.gnome.Extensions for extension management, or use the gnome-extensions command line tool. Extensions can use the ExtensionUtils.openPrefs() method. EOT UUID=$1 if [ "$UUID" ] then openPrefs $UUID else gapplication launch org.gnome.Extensions fi
Simpan