Extensiebeheer, zoek en installeer GNOME Shell-extensies

over extensiemanager

In het volgende artikel gaan we kijken naar de Extension Manager. Dit is een onofficiële app die stelt gebruikers in staat om GNOME Shell-extensies te zoeken en te installeren vanaf het bureaublad. Allemaal zonder dat u zoals gewoonlijk de webbrowser hoeft te gebruiken. De app is gebouwd op GTK4 en libadwaita en kan vanaf Flathub worden geïnstalleerd.

Naast het feit dat gebruikers tegenwoordig extensies kunnen zoeken en installeren die ook te vinden zijn op extensions.gnome.org, biedt deze tool ook Het geeft ons de mogelijkheid om extensies in of uit te schakelen, een lijst met geïnstalleerde extensies weer te geven, toegang te krijgen tot hun configuratie of ze te verwijderen. De app is nog vrij nieuw, hij heeft kort geleden zijn eerste release gehad, hoewel hij al een update heeft ontvangen waarin de maker enkele dingen heeft toegevoegd waar gebruikers om hebben gevraagd.

Zoals ik zei, voor de eerste grote functie-update voegt de tool veel van de functies toe die mensen hebben voorgesteld. Onder de dingen die zijn opgenomen, vinden we een globale aan/uit-schakelaar (net als de officiële tool) en een duidelijke scheiding tussen door de gebruiker geïnstalleerde extensies en door het systeem geïnstalleerde extensies (alfabetisch gerangschikt).

Algemene kenmerken van Extensiebeheer

extensie afbeelding

  • De applicatie zal ons toelaten zoek naar extensies van extensions.gnome.org.
  • van deze software we kunnen de extensies installeren, als u de webbrowser of de connector moet gebruiken.
  • Op het programmascherm, we kunnen de extensies in- en uitschakelen, naast dat we ze kunnen verwijderen.

geïnstalleerde extensies

  • In deze nieuwste versie screenshots van de extensies worden getoond.
  • Zal ons toestaan vertalingen toevoegen aan onze taal.

donker thema

  • We zullen hebben donker thema en ondersteuning voor het overschrijven van het systeemkleurenschema.
  • Voert een compatibiliteitscontrole van de shell-versie uit.
  • Het programma heeft ook wat sneltoetsen, hoewel deze op dit moment niet veel bijdragen.

vind extensie met Extensiebeheer

  • Het geeft ons de mogelijkheid van zoekresultaten sorteren, ook al toont het alleen de top 10 . De filters om de zoekresultaten te sorteren zijn gebaseerd op populariteit, huidige status, downloads of naam. Dit zijn dezelfde opties die beschikbaar zijn op de hoofdwebsite van GNOME Extensions.
  • nu gebruikers- en systeemextensies afzonderlijk weergeven.
  • Deze nieuwe versie voegt betere prestaties en stabiliteit toe dan de vorige versie.

niet-ondersteunde extensies

  • Niet-ondersteunde extensies worden nu gemarkeerd in de resultaten zoeken.
  • Het programma ook toont enkele details van de extensies die we kunnen vinden. Bovendien bevat elke extensie een link naar de pagina extensions.gnome.org.

Installeer Extension Manager voor GNOME Shell op Ubuntu

De maker van de geeft aan dat: gebruik het pakket Flatpak is de aanbevolen manier om Extension Manager te installeren. Als u Ubuntu 20.04 gebruikt en deze technologie nog steeds niet op uw systeem heeft ingeschakeld, kunt u doorgaan De gids een collega schreef er op deze blog over.

Het kan installeer deze app een terminal openen (Ctrl+Alt+T) en daarin het volgende commando uitvoeren:

installeer extension manager flatpack

flatpak install flathub com.mattjakeman.ExtensionManager

Na installatie, om start de applicatie, is het alleen nodig om naar het opstartprogramma op onze computer te zoeken, hoewel de toepassing ook kan worden gestart door een terminal te openen (Ctrl+Alt+T) en de opdracht uit te voeren:

extensiebeheerder van opstartprogramma

flatpak run com.mattjakeman.ExtensionManager

Extension Manager is vertaald in verschillende talen. Standaard, het programma moet vanaf het begin uw systeemtaal respecteren. Het kan echter zijn dat je een paar extra stappen moet nemen om Flatpak de door jou gekozen locatie te laten herkennen.

taal update

De opdrachten die worden weergegeven van de GitHub-repository van het projectzou een oplossing kunnen zijn voor dit probleem. Na toepassing moet Extension Manager de taal van ons systeem respecteren.

uninstall

naar verwijder deze app uit ons team, je hoeft alleen maar een terminal te openen (Ctrl + Alt + T) en het commando erin uit te voeren:

app verwijderen

flatpak uninstall com.mattjakeman.ExtensionManager

Extension Manager is gratis, open source software, en de broncode is te vinden op zijn GitHub-opslagplaats.


Laat je reactie achter

Uw e-mailadres wordt niet gepubliceerd. Verplichte velden zijn gemarkeerd met *

*

*

  1. Verantwoordelijk voor de gegevens: Miguel Ángel Gatón
  2. Doel van de gegevens: Controle SPAM, commentaarbeheer.
  3. Legitimatie: uw toestemming
  4. Mededeling van de gegevens: De gegevens worden niet aan derden meegedeeld, behalve op grond van wettelijke verplichting.
  5. Gegevensopslag: database gehost door Occentus Networks (EU)
  6. Rechten: u kunt uw gegevens op elk moment beperken, herstellen en verwijderen.