-
Notifications
You must be signed in to change notification settings - Fork 29
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Extension doesn't work on Gnome's login screen #41
Comments
Moving this discussion into a separate issue. For reference, here's what has been tried so far:
#!/bin/bash
zip_filename="[email protected]"
# Check if "[email protected]" exists in the current directory
if [ ! -f "$zip_filename" ]; then
echo "$zip_filename file not found, exiting..."
exit
fi
# Extract .zip into "/usr/share/gnome-shell/extensions/" directory
sudo unzip -o "$zip_filename" -d /usr/share/gnome-shell/extensions/[email protected]/
# Check if "user" file exists in "/etc/dconf/profile/" directory
if [ ! -f /etc/dconf/profile/user ]; then
# If "user" file doesn't exist, create it
sudo touch /etc/dconf/profile/user
fi
# Check if "user" file has line "user-db:user"
if ! grep -q "^user-db:user$" /etc/dconf/profile/user; then
# If "user" file doesn't have line "user-db:user", add it to file
echo "user-db:user" | sudo tee -a /etc/dconf/profile/user > /dev/null
fi
# Check if "user" file has line "system-db:local"
if ! grep -q "^system-db:local$" /etc/dconf/profile/user; then
# If "user" file doesn't have line "system-db:local", add it to file
echo "system-db:local" | sudo tee -a /etc/dconf/profile/user > /dev/null
fi
# Check if "00-extensions" file exists in "/etc/dconf/db/local.d/" directory
if [ ! -f /etc/dconf/db/local.d/00-extensions ]; then
# If "00-extensions" file doesn't exist, create it
sudo touch /etc/dconf/db/local.d/00-extensions
# Add "[org/gnome/shell]" line to the top of the file
echo "[org/gnome/shell]" | sudo tee /etc/dconf/db/local.d/00-extensions > /dev/null
fi
# Check if enabled-extensions=[ line exists in 00-extensions file
if grep -q "enabled-extensions=\[" "/etc/dconf/db/local.d/00-extensions"; then
# If enabled-extensions=[ line exists, but [email protected] is not included,
# add it to the line starting with enabled-extensions=[ right after enabled-extensions=[
sudo sed -i '/enabled-extensions=\[/ s/\]/, \[email protected]\x27\]/' /etc/dconf/db/local.d/00-extensions
else
# If enabled-extension=[ line does not exist, add enabled-extension=[[email protected]] to the end of the file.
echo "enabled-extensions=['[email protected]']" | sudo tee --append /etc/dconf/db/local.d/00-extensions > /dev/null
fi
# Update dconf database with new settings
sudo dconf update
echo "$zip_filename installed as a system-wide extension. Please reboot to apply changes."
|
@PhilDevProg Great, so we're making some progress 👍 Does it show up in the list of installed extensions (run |
It shows up in the Extensions app and in the output of the command and works in the user session. It also is already built via the newest version in master. |
I'm using the German layout (DE) which works perfectly in the user session with the extended keys showing up... |
Hmm, that doesn't work for me... The extension doesn't even show up in the Extensions app... Does it work for you?
Originally posted by @PhilDevProg in #39 (comment)
The text was updated successfully, but these errors were encountered: