⚝
One Hat Cyber Team
⚝
Your IP:
216.73.216.91
Server IP:
157.245.101.34
Server:
Linux skvinfotech-website 5.4.0-131-generic #147-Ubuntu SMP Fri Oct 14 17:07:22 UTC 2022 x86_64
Server Software:
Apache/2.4.41 (Ubuntu)
PHP Version:
7.4.33
Buat File
|
Buat Folder
Eksekusi
Dir :
~
/
proc
/
self
/
root
/
usr
/
libexec
/
View File Name :
gnome-shell-overrides-migration.sh
#!/bin/sh PKG_DATA_DIR=${XDG_DATA_HOME:-$HOME/.local/share}/gnome-shell MIGRATION_GUARD=$PKG_DATA_DIR/gnome-overrides-migrated OVERRIDE_SCHEMA= if [ -f $MIGRATION_GUARD ]; then exit # already migrated fi # Find the right session if echo $XDG_CURRENT_DESKTOP | grep -q -v GNOME; then exit # not a GNOME session fi if echo $XDG_CURRENT_DESKTOP | grep -q Classic; then OVERRIDE_SCHEMA=org.gnome.shell.extensions.classic-overrides else OVERRIDE_SCHEMA=org.gnome.shell.overrides fi mkdir -p $PKG_DATA_DIR for k in `gsettings list-keys $OVERRIDE_SCHEMA` do if [ $k = button-layout ]; then orig_schema=org.gnome.desktop.wm.preferences else orig_schema=org.gnome.mutter fi oldValue=`gsettings get $OVERRIDE_SCHEMA $k` curValue=`gsettings get $orig_schema $k` if [ $oldValue != $curValue ]; then gsettings set $orig_schema $k $oldValue fi done && touch $MIGRATION_GUARD