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
Am Montag, den 29.05.2017, 11:26 -0500 schrieb Raymundo N.F.:
> Yes Andrea,
>
>
> I've already used this extension. But I need to disable the active hot left
> top corner from the command line.
>
> Because I work with a computer that does not have a mouse. I have already
> installed the application and after a while it is deactivated and I have to
> reactivate it with the mouse. So I need to do it with another way to be
> permanent and from the command line.
> Thanks :P
>
>
> On May 29, 2017 11:12 AM, "Andreas Benzler" <andreas at benzlerweb.de> wrote:
>
> Thiss one ?
>
> https://extensions.gnome.org/extension/118/no-topleft-hot-corner/
>
> Running here, on gnome 3.22 /3.24
>
>
>
> Am Montag, den 29.05.2017, 11:08 -0500 schrieb Raymundo N.F.:
> > Thank you Andreas, but i want other solution. The Gnome-Shell-
> > Extentions
> > don't work for me. I want to know if exist another way to do this
> > from the
> > comand line. :)
> >
> > On May 29, 2017 11:02 AM, "Andreas Benzler" <andreas at benzlerweb.de>
> > wrote:
> >
> > > Ther is addon available for Gnome Shell
> > >
> > > Von meinem iPhone gesendet
> > >
> > > > Am 29.05.2017 um 17:14 schrieb Raymundo N.F. <raymundo.nf at gmail.c
> > > > om>:
> > > >
> > > > Thanks For the Answer Mike and Pete.
> > > > But Mike, In Centos 7 this directory (/usr/share/gnome-
> > > > shell/js/ui/
> > >
> > > layout.js)
> > > > doesn't exist.
> > > > Another Solution?. :)
> > > >
> > > >
> > > > 2017-05-27 17:25 GMT-05:00 Pete Biggs <pete at biggs.org.uk>:
> > > >
> > > > >
> > > > >
> > > > > > On Sat, 2017-05-27 at 14:51 -0400, Mike - st257 wrote:
> > > > > > awk one-liner found here:
> > > > > > https://unix.stackexchange.com/a/196726
> > > > > >
> > > > > > Whether it's persistent through package updates is another
> > > > > > matter.
> > > > > >
> > > > >
> > > > > Unfortunately that doesn't work as the requisite file
> > > > > (/usr/share/gnome-shell/js/ui/layout.js) doesn't actually exist
> > > > > in
> > > > > CentOS 7 - it's for an older version of gnome-shell.
> > > > >
> > > > > The way to do it is to use the shell extension "nohotcorners" -
> > > > > but the
> > > > > OP doesn't want to use that and has various other criteria that
> > > > > need to
> > > > > be satisfied.
> > > > >
> > > > > P.
> > > > >
> > > > > _______________________________________________
> > > > > CentOS mailing list
> > > > > CentOS at centos.org
> > > > > https://lists.centos.org/mailman/listinfo/centos
> > > > >
> > > >
> > > >
> > > >
> > > > --
> > > >
> > > > Atentamente:
> > > > * Raymundo Nuñez Franco*
> > > > * Lic. Informática *
> > > > _______________________________________________
> > > > CentOS mailing list
> > > > CentOS at centos.org
> > > > https://lists.centos.org/mailman/listinfo/centos
> > >
> > > _______________________________________________
> > > CentOS mailing list
> > > CentOS at centos.org
> > > https://lists.centos.org/mailman/listinfo/centos
> > >
> >
> > _______________________________________________
> > CentOS mailing list
> > CentOS at centos.org
> > https://lists.centos.org/mailman/listinfo/centos
> _______________________________________________
> CentOS mailing list
> CentOS at centos.org
> https://lists.centos.org/mailman/listinfo/centos
> _______________________________________________
> CentOS mailing list
> CentOS at centos.org
> https://lists.centos.org/mailman/listinfo/centos