Jannah Theme License is not validated, Go to the theme options page to validate the license, You need a single license for each domain name.
Linux

Présentation de The Fishery : Plugins pour Fish Shell

Vous avez peut-être entendu parler de Fish. C’est un shell de remplacement pour Bash et il a beaucoup de fonctionnalités. Pour commencer, il peut parcourir et anticiper ce que vous tapez et le compléter automatiquement. Il est également livré avec des valeurs par défaut sensées, une mise en évidence de la syntaxe prête à l’emploi et de nombreuses autres fonctionnalités.

Présentation du pêcheur et de la pêche. Le premier est un outil que les utilisateurs peuvent installer sur leur système pour interagir avec le second : The Fishery, un référentiel de plugins pour Fish Shell. C’est un projet assez récent avec peu de plugins, mais ceux qui sont disponibles sont sympas.

Alors, comment utilisez-vous Fisherman and The Fishery with Fish Shell ?

Contenu

Installation

Avant de pouvoir interagir avec The Fishery, vous devez d’abord installer « The Fisherman ». Ouvrez une fenêtre de terminal et entrez la commande ci-dessous.

La commande est un processus rapide. Une fois installé, fermez votre terminal et rouvrez-le.

Installation de plugins avec Fisher

Les plugins peuvent être installés assez facilement. Disons que vous voulez rechercher un plugin. Tapez simplement ceci dans la coquille de poisson :

fisherman-fisher-plugin-search

Cela listera tous les plugins disponibles. Certes, il n’y a vraiment pas beaucoup de plugins pour les poissons qui vous sauteront dessus, à moins que vous ne soyez un développeur. Il est clair que The Fishery cible les développeurs qui aiment utiliser Fish comme shell de commande.

Psssssst :  Comment vérifier si iptables est activé sous Linux ?

Lorsque vous voyez un plugin que vous souhaitez installer (via la recherche), c’est aussi simple que d’entrer le nom du plugin d’installation de fisher. Vous voulez supprimer un plugin ? Tapez fisher uninstall pluginname.

En plus d’installer et de désinstaller des plugins, il est également possible de mettre à jour Fisherman lui-même. Tout cela peut être accompli simplement en tapant fisher update. Une fois entré, le logiciel sortira et téléchargera la dernière version de lui-même.

2 plugins de poisson à découvrir sur la pêche

1. Basse

pêcheur-fishery-bass

Si vous utilisez fish shell, vous avez sans doute remarqué que certaines commandes bash écrites dans des scripts que vous exécutez ne fonctionnent tout simplement pas. Cela peut être ennuyeux, car Fish et Bash font les choses un peu différemment. Ne vous inquiétez pas, il existe un plugin pour cela.

Installez simplement Bass et utilisez-le avec Fish. Cela rendra l’utilisation de Bash et Fish ensemble beaucoup, beaucoup plus facile.

2. Tourner

pêcheur-fishery-spin

Parfois, lorsque vous entrez une commande dans un shell, vous ne savez pas exactement si elle est en cours d’exécution ou non. Souvent, vous aurez l’impression que votre shell est bloqué et que vous ne pouvez pas taper. Pour résoudre ce problème, installez le plugin Spin !

Psssssst :  Où WebLogic est-il installé sous Linux ?

Avec ce plugin installé, chaque fois qu’une commande est entrée, vous obtiendrez un spinner personnalisable qui se déclenchera jusqu’à la fin de l’exécution de la commande.

Conclusion

Même avec des outils comme Fisherman et des ressources comme The Fishery, la probabilité que les utilisateurs passent à Fish est inconnue. Bash est toujours la valeur par défaut sur de nombreuses installations Linux, et cela ne semble pas vouloir changer de si tôt.

Pourtant, pour ceux qui sont sur Fish et qui l’aiment, ces outils ne pouvaient rien faire d’autre que de rendre l’expérience encore plus intéressante. Allez les voir vous-même !

Utilisez-vous Fish Shell? Si oui, aimez-vous l’idée d’utiliser des plugins ? Dites-nous ci-dessous!

Cet article est-il utile ? Oui Non

Bouton retour en haut de la page

Adblock détecté

Veuillez désactiver votre bloqueur de publicités pour pouvoir visualiser le contenu de la page. Pour un site indépendant avec du contenu gratuit, c’est une question de vie ou de mort d’avoir de la publicité. Merci de votre compréhension! Merci