Giter VIP home page Giter VIP logo

Comments (11)

F-i-f avatar F-i-f commented on June 17, 2024

I haven't really tested without gnome-terminal installed. I'll see if I can reproduce the issue.
What terminal emulator are you using?

from ssh-search-provider.

dschier-wtd avatar dschier-wtd commented on June 17, 2024

I am using tilix from the official fedora repositories.

from ssh-search-provider.

F-i-f avatar F-i-f commented on June 17, 2024

I have confirmed that overriding the default from gnome-terminal doesn't seem to work.
Could you send the output of:

dconf dump /org/gnome/desktop/applications/terminal/

You also wrote that you're seeing an error during the installation of the extension, can you cut and paste this error?
Thank you.

from ssh-search-provider.

dschier-wtd avatar dschier-wtd commented on June 17, 2024

The path dconf dump /org/gnome/desktop/applications/ does not exist in my dconf.

dconf dump /org/gnome/desktop/
/org/gnome/desktop/a11y/              /org/gnome/desktop/notifications/
/org/gnome/desktop/app-folders/       /org/gnome/desktop/peripherals/
/org/gnome/desktop/background/        /org/gnome/desktop/privacy/
/org/gnome/desktop/calendar/          /org/gnome/desktop/screensaver/
/org/gnome/desktop/datetime/          /org/gnome/desktop/search-providers/
/org/gnome/desktop/input-sources/     /org/gnome/desktop/sound/
/org/gnome/desktop/interface/         /org/gnome/desktop/wm/
/org/gnome/desktop/media-handling/    

during installation I can see the following logs:

Apr 07 23:41:08 nb01 gnome-shell[2150]: JS WARNING: [resource:///org/gnome/shell/ui/extensionDownloader.js 86]: reference to undefined property "GLocalFileOutputStream"
Apr 07 23:41:08 nb01 org.gnome.Shell.desktop[2150]: Archive:  /tmp/B93PZZ.shell-extension.zip
Apr 07 23:41:08 nb01 org.gnome.Shell.desktop[2150]:   inflating: /home/ds/.local/share/gnome-shell/extensions/[email protected]/extension.js
Apr 07 23:41:08 nb01 org.gnome.Shell.desktop[2150]:  extracting: /home/ds/.local/share/gnome-shell/extensions/[email protected]/metadata.json
Apr 07 23:41:08 nb01 gnome-shell[2150]: Some code accessed the property 'ENABLED_EXTENSIONS_KEY' on the module 'extensionSystem'. That property was defined with 'let' or 'const' inside the module. This was previously supported, but is not correct according to the ES6 standard. Any symbols to be exported from a module must be defined with 'var'. The property access will work as previously for the time being, but please fix your code anyway.
Apr 07 23:41:08 nb01 gnome-shell[2150]: Extension "[email protected]" had error: TypeError: Shell.AppSystem.get_default(...).lookup_app(...) is null

from ssh-search-provider.

F-i-f avatar F-i-f commented on June 17, 2024

Thank you.

There were two issues:

  • The extension failed when gnome-terminal wasn't installed.
  • The extension wasn't building the command line properly if another terminal emulator than gnome-shell was used.

Both issues should have been addressed.
Please try this zip file:
ssh-search-provider@extensions.gnome-shell.fifi.org-v3-7-g13d6d33.zip
Just unzip it under ~/.local/share/gnome-shell/extensions/[email protected] and overwrite the files.

If you want to use something else than gnome-terminal as terminal emulator, please follow the instructions on the home page.

And please report if the bug is fixed or not, with the relevant output of:

dconf dump /org/gnome/desktop/applications/terminal/
journalctl -b

Thank you.

from ssh-search-provider.

dschier-wtd avatar dschier-wtd commented on June 17, 2024

With the provided fix, the extension can be enabled and presents some login possibilities.

Since the above path is not present in my installation, I am not sure where to change the terminal. I will check and open another issue, if needed. The installation seems to work for now.

Thanks a lot for having a look!

from ssh-search-provider.

dschier-wtd avatar dschier-wtd commented on June 17, 2024

my fault, the path exists in dconf.

Nevertheless, the shell is not quite the same as presented by your screenshots.

from ssh-search-provider.

dschier-wtd avatar dschier-wtd commented on June 17, 2024

Screenshot from 2019-04-08 21-18-02

from ssh-search-provider.

F-i-f avatar F-i-f commented on June 17, 2024

You are right. That was because the extension was still relying on Gnome-Terminal to be around.
It took some work to completely get rid of it.
Please try this update:
ssh-search-provider@extensions.gnome-shell.fifi.org-v3-24-g2ac5967.zip
Just unzip it under ~/.local/share/gnome-shell/extensions/[email protected] and overwrite the files.

Note that you must now configure your terminal emulator of choice in the extension preferences (Gnome Tweaks > Extensions > SSH Search Provider Reborn > Gear Icon (disregard the old instructions on the web page). Select "Tilix" as a Terminal Emulator, and the defaults should work out of the box.

from ssh-search-provider.

dschier-wtd avatar dschier-wtd commented on June 17, 2024

Hey,
I have tested the above code and everything is looking awesome :)

Thanks a ton for the fast help and for maintaining the extension.

from ssh-search-provider.

F-i-f avatar F-i-f commented on June 17, 2024

I have released version 4 which fixes the problem.
It's currently under review by the gnome-shell team.
In meantime you can get it from the project homepage or download version 4 directly here.

from ssh-search-provider.

Related Issues (6)

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.