TEXT 44
Gnome Extensions Terminal By mike on 28th March 2021 03:49:40 PM
  1. Since the remove buttons are no longer available in gnome-shell 3.26, the only way I know is deleting the extension directory itself.
  2.  
  3.     Open the console.
  4.     Go to the extensions directory: cd ~/.local/share/gnome-shell/extensions
  5.     List the extensions and get the name of the unwanted extension: ls -l
  6.     Delete the extension directory: rm -r extension@author
  7.     Reload gnome-shell. Press ALT + F2, type r and press ENTER.
  8.  
  9.  
  10.  
  11. There are two folders for gnome-shell extensions:
  12.  
  13.     ~/.local/share/gnome-shell/extensions for user-side
  14.     /usr/share/gnome-shell/extensions for system-side
  15.  
  16.  
  17.  
  18. https://askubuntu.com/questions/937284/how-can-i-update-gnome-shell-extensions-from-the-command-line
  19. https://github.com/NicolasBernaerts/ubuntu-scripts/blob/master/ubuntugnome/gnomeshell-extension-manage

Hasta la pasta! is for source code and general debugging text.

Login or Register to edit, delete and keep track of your pastes and more.

Raw Paste

Login or Register to edit or fork this paste. It's free.