Contenu | Rechercher | Menus

Annonce

Si vous avez des soucis pour rester connecté, déconnectez-vous puis reconnectez-vous depuis ce lien en cochant la case
Me connecter automatiquement lors de mes prochaines visites.

À propos de l'équipe du forum.

#26 Le 30/10/2021, à 19:12

nany

Re : Extension Lock keys

C’est très étrange ton histoire.
Donne le retour de :

ls -lra ~/.local/share/gnome-shell

Hors ligne

#27 Le 30/10/2021, à 19:15

Romain86

Re : Extension Lock keys

ls -lra ~/.local/share/gnome-shell
total 16
-rw-rw-r--  1 severine severine    0 oct.  18 21:22 gnome-overrides-migrated
drwxr-xr-x  2 root     root     4096 oct.  30 19:31 extensions
-rw-rw-r--  1 severine severine 2330 oct.  30 20:09 application_state
drwx------ 22 severine severine 4096 oct.  30 19:33 ..
drwx------  3 severine severine 4096 oct.  30 20:09 .

Hors ligne

#28 Le 30/10/2021, à 19:27

nany

Re : Extension Lock keys

Romain86 a écrit :
drwxr-xr-x  2 root     root     4096 oct.  30 19:31 extensions

Le répertoire appartient à root. hmm
Donne le retour de :

find ~ -xdev -name "*" -exec sudo chown -ch $USER:$USER "{}" \;

Hors ligne

#29 Le 30/10/2021, à 19:59

Romain86

Re : Extension Lock keys

Du coup j'ai refait #12 puis #21 et maintenant c'est ok.
Un grand merci Nany pour avoir trouver la solution.
Par contre je ne comprend pas pourquoi je n'arrive pas a trouver le chemin d'accès où a été installer l'extension ?!
Mais le principal c'est que ça fonctionne.
Bonne soirée

Dernière modification par Romain86 (Le 30/10/2021, à 20:16)

Hors ligne

#30 Le 30/10/2021, à 20:25

Romain86

Re : Extension Lock keys

Je viens de comprendre pourquoi, le chemin fait partis des fichiers cachés...
Sur tout les forums que j'ai consulté avant de vous écrire...aucun n'a mentionné d'afficher les fichiers cachés...le truc qui est tellement simple que personne n'a penser à le préciser !

Hors ligne

#31 Le 30/10/2021, à 22:24

Qid

Re : Extension Lock keys

nany a écrit :

fermer la session et la rouvrir puis :

gnome-shell-extension-prefs

Et activer l’extension.

Ce truc n'est pas présent par défaut !?

edit : juste pour info pour les curieux la réponse est effectivement non : extension pref n'existe pas...
par contre j'ai découvert en le cherchant qu'il existait bien une commande pour manipuler les extensions :

gnome-shell-extension-tool --help
Usage: gnome-shell-extension-tool [options]

Options:
  -h, --help            show this help message and exit
  -d DISABLE, --disable-extension=DISABLE
                        Disable a GNOME Shell extension
  -e ENABLE, --enable-extension=ENABLE
                        Enable a GNOME Shell extension
  -c, --create-extension
                        Create a new GNOME Shell extension
  -r RELOAD, --reload-extension=RELOAD
                        Reload a GNOME Shell extension

ou encore à préférer :

gnome-extensions --help
Utilisation :
  gnome-extensions COMMANDE [PARAMÈTRES…]

Commandes :
  help      Afficher l’aide
  version   Afficher la version
  enable    Activer l’extension
  disable   Désactiver l’extension
  reset     Réinitialiser l’extension
  uninstall Désinstaller l’extension
  list      Afficher la liste des extensions
  info      Afficher les infos de l’extension
  show      Afficher les infos de l’extension
  prefs     Ouvrir les préférences de l’extension
  create    Créer une extension
  pack      Mettre en paquet l’extension
  install   Installer l’extension empaquetée

Utilisez « gnome-extensions help COMMANDE » pour obtenir une aide détaillée.

et donc effectivement sur ma 22.04 j'ai joué avec la première pour désactiver puis réactiver une extension
et c'est là qu'il m'a dit qu'il valait mieux utiliser la seconde...

Dernière modification par Qid (Le 30/10/2021, à 23:00)


"GNU/Linux c'est que du bon mais M$ Windows ce n'est pas si mal"
Référent technique Ubuntu d'un Groupe d'Utilisateur du Libre
plus d'info sur mon profil

Hors ligne

#32 Le 31/10/2021, à 01:46

nany

Re : Extension Lock keys

Qid a écrit :
nany a écrit :

fermer la session et la rouvrir puis :

gnome-shell-extension-prefs

Et activer l’extension.

Ce truc n'est pas présent par défaut !?

edit : juste pour info pour les curieux la réponse est effectivement non : extension pref n'existe pas...

et donc effectivement sur ma 22.04…

Dans le cas présent, il s’agit d’une 21.10.
Or l’application (graphique) gnome-shell-extension-prefs existe bien par défaut dans impish.

Hors ligne

#33 Le 31/10/2021, à 07:11

Qid

Re : Extension Lock keys

nany a écrit :

Dans le cas présent, il s’agit d’une 21.10.
Or l’application (graphique) gnome-shell-extension-prefs existe bien par défaut dans impish.

Oh !? Donc chez moi elle aurait sauté lors de la migration ? Pourtant on est encore très proche de la 21.10 par la force des choses


"GNU/Linux c'est que du bon mais M$ Windows ce n'est pas si mal"
Référent technique Ubuntu d'un Groupe d'Utilisateur du Libre
plus d'info sur mon profil

Hors ligne