Betere Shell: Verbeterde Commando Kopieer- en Plakfunctionaliteit
Better Shell is een gratis Chrome-extensie ontwikkeld door vantaboard. Het valt onder de categorie Browsers en is specifiek geclassificeerd als een subcategorie Add-ons & Tools. Het primaire doel van deze extensie is om het proces van het kopiëren van shell-commando's van webpagina's te verbeteren.
Met Better Shell hoeven gebruikers zich geen zorgen meer te maken over het per ongeluk kopiëren van het commando-prefix. De extensie identificeert shell-commando's binnen <pre> tags op een webpagina en maakt het prefix niet-selecteerbaar. Deze functie bespaart gebruikers de moeite om handmatig het prefix van elke regel te verwijderen bij het plakken van de commando's in hun terminal.
Naast het niet-selecteerbaar maken van het prefix, voegt Better Shell ook een handige "kopiëren naar klembord" knop toe aan elke <pre> tag. Dit stelt gebruikers in staat om snel en gemakkelijk het volledige commando te kopiëren zonder gedoe.
Voor meer informatie en de toekomstige ontwikkelingsplannen kunt u de GitHub-pagina van de extensie bezoeken. Als u suggesties heeft of ontbrekende functies wilt zien toegevoegd, kunt u contact opnemen met de ontwikkelaar via e-mail op
