Het snel organiseren van apps in mappen is een functie die misschien nog lang niet lijkt te zijn inheems in de GNOME-shell, maar het goede nieuws is dat ontwikkelaars zo nu en dan een manier bedenken om dit te omzeilen probleem.
Mijn laatste voorkeursmethode was het gebruik van GNOME Dash Fix maar nu is er een nieuwe en betere methode – GNOME App Folders Manager.
GNOME App Folders Manager is een open-source tool waarmee je eenvoudig app-mappen kunt maken, ordenen en bewerken rechtstreeks vanuit de GNOME-toepassing overzichtsmenu.
U kunt dezelfde apps aan meerdere mappen toevoegen, afhankelijk van hoe u ze wilt organiseren door met de rechtermuisknop op een app te klikken en 'Toevoegen aan ' en de mapnaam of door +Nieuwe appmap te selecteren om de app aan een nieuwe map toe te voegen.
Functies in GNOME App Folders Manager
Om GNOME App Folders Manager op uw werkstation te installeren, downloadt u de extensie van de Gnome-extensiepagina en past u deze toe met GNOME Tweak Tool.
Download GNOME App Folders Manager .zip
Om handmatig te installeren, Download het .zip pakket van de GitHub-pagina en pak bestanden uit in ~ /.local/share/gnome-shell/extensions/.
Start vervolgens Gnome Shell opnieuw en activeer de extensie.
Het zou leuk zijn als gebruikers app-pictogrammen kunnen slepen en neerzetten om ze aan mappen toe te voegen; en om app-pictogrammen bij elkaar te houden en te slepen om nieuwe mappen te vormen. Hopelijk komt deze functie sneller dan nooit. Trouwens, hoe moeilijk kan het zijn om een functie voor slepen en neerzetten te implementeren?
Wat vind je van GNOME App Folders Manager? Ik sta open voor suggesties als je alternatieven weet.