Fish Shell:
Retirer les guillemets d'une chaîne
Comment faire :
Fish possède une magie intégrée pour ce type de tâche. Utilisez la fonction string sans vous casser la tête. Voici quelques sortilèges :
# Exemple avec des guillemets simples
set quoted "'Bonjour, Monde !'"
set unquoted (string trim --chars \"\'\" $quoted)
echo $unquoted # Sortie : Bonjour, Monde !
# Même chose avec des guillemets doubles
set double_quoted "\"Bonjour, Univers !\""
set unquoted (string trim --chars \"\'\" $double_quoted)
echo $unquoted # Sortie : Bonjour, Univers !Plongée Profonde
Dans l’âge de pierre de la ligne de commande, vous deviez lutter avec sed ou awk pour retirer les guillemets ; un véritable entrelacs de barres obliques inversées et de drapeaux cryptiques. La fonction string de Fish est d’une ère plus récente, rendant le code plus propre et plus intuitif.
Les alternatives dans d’autres shells pourraient encore dépendre de ces anciens outils ou utiliser leurs propres méthodes intégrées comme l’expansion de paramètres de bash ou les modificateurs de zsh.
La fonction string va au-delà du simple retrait de guillemets. C’est un couteau suisse pour les opérations sur les chaînes de caractères dans Fish. Avec string, vous pouvez découper, diviser, joindre, ou même matcher des chaînes avec des expressions régulières directement dans votre terminal.
Voir également
Plongez plus profondément dans string avec l’aide de la documentation officielle :
Pour la nostalgie ou lors de l’écriture de scripts avec des shells plus traditionnels, consultez :