fonts-powerline

Support Debian
1

Bonsoir

J ai entrepris de personnaliser mon .bashrc avec l outil
powerline.

j ai installe fonts-powerline
puis ajouter dans mon fichier .bashrc les lignes ci dessous:

if [ -f /usr/share/powerline/bindings/bash/powerline.sh ]; then

source /usr/share/powerline/bindings/bash/powerline.sh

fi
puis j ai redémarré en esperant voir les changements
mais j obtiens le message

bash: [ -f : commande introuvable

Merci

2

MicP Bonsoir

et si tu prenais la peine d expliquer ce que tu fais ?

3

Bonsoir Pat66

Logiquement, la syntaxe de ta ligne de commande
devrait être acceptée par l’interpréteur de commande bash
Donc je ne vois pas ce qu’il a pu se passer.

4

Tu as suivi quel tutoriel ?

Perso je découpe ne plusieurs fichiers et je travail avec des include dans mon bashrc afin que ce soit pas trop le bordel …

5

Cette première ligne de commandes fonctionne,

michel@debbull:~$ if [ -f  .bashrc ]; then echo "OK"; fi
OK
michel@debbull:~$

mais celle ci-dessous ne fonctionne pas :

michel@debbull:~$ if [ -f  .bashrc ]; then echo "OK"; fi
bash: [ -f : commande introuvable
michel@debbull:~$

parce que, dans la deuxième,
entre le caractère [ et le -f
j’ai remplacé le caractère Espace (hexa 20) par un caractère Espace Insécable (hexa C2A0)

C’est ce qui résulte parfois, des copiés/collés depuis certaines pages web.

EDIT : Sur ce forum, le caractère Espace Insecable est automatiquement remplacé par un caractère Espace alors que sur certains fora, certains caractères Espace sont automatiquement remplacés par un caractère Espace Insécable

Alors, au cas où, édite ton fichier ~/.bashrc
pour retaper manuellement la ligne de commandes que tu y avais ajoutée.

6

Bonjour Clochette

voici le tutoriel que j ai suivi

7

Encore une fois attention lorsque vous suivez des tutoriels pour Ubuntu les chemins ne sont pas systématiquement les mêmes, les scripts pas toujours correct pour Debian et pas forcément très propres (souvent vue des récupérations de sources extérieures de façon non sécurisées et sur des sources douteuses).

J’installe le bouzin avec pip pour ma part et j’ajoute le plugin pour gérer git (powerline-gitstatus).
Le maintient à jour n’est pas lié à la gestion de paquet du système et se fait via pip (moins casse gueule) en générale j’ajoute vundle à vim avec le terminal de gnome ça me permet d’avoir un truc propre et efficace.

Et encore une fois attention au copier/coller depuis des sites les espaces insécables et caractère mal encodé peuvent faire du brun en moins de deux.

8

Bonjour Pat66

Pour remplacer dans ton fichier ~/.bashrc
tous les caractères Espace Insécable par un caractère Espace
lance la ligne de commande suivante :

sed -i 's/\xC2\xA0/ /g' ~/.bashrc