403Webshell
Server IP : 172.67.134.114  /  Your IP : 162.159.115.41
Web Server : Apache/2.4.37
System : Linux almalinux.duckdns.org 4.18.0-553.111.1.el8_10.x86_64 #1 SMP Sun Mar 8 20:06:07 EDT 2026 x86_64
User : ricodeal ( 1046)
PHP Version : 7.4.33
Disable Function : NONE
MySQL : OFF  |  cURL : ON  |  WGET : ON  |  Perl : ON  |  Python : ON  |  Sudo : ON  |  Pkexec : ON
Directory :  /usr/libexec/

Upload File :
current_dir [ Writeable ] document_root [ Writeable ]

 

Command :

[ Back ]     

Current File : /usr/libexec/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

Youez - 2016 - github.com/yon3zu
LinuXploit