Contenu | Rechercher | Menus

Annonce

Si vous avez des soucis pour rester connecté, déconnectez-vous puis reconnectez-vous depuis ce lien en cochant la case
Me connecter automatiquement lors de mes prochaines visites.

À propos de l'équipe du forum.

#1 Le 12/12/2017, à 21:17

ar barzh paour

[bug en cours] colorisation avec gedit et pluma (bug 791721 et653849]

sans solution : j'utiliserai dorénavant pluma !!!!
https://forum.ubuntu-fr.org/viewtopic.php?id=2024536 (fin du post #18 sur la colorisation)
d'autant plus qu'à priori pluma a été corrigé pour ce défaut ....



Voila au moins j'ai eu une réponse aujourd'hui  (2017-12-20)
ce bogue a été signalé N° 653849 et date de 2011-07-02 !!!!!!
bonne fêtes à tous
peut-être résolution en 2018 qui sait ?
et il semble que sh.lang n'ait pas été ou incomplètement mis à jour pour bash

voila  quatre commandes qui donnent le même résultat dans le terminal
EDIT : uname n'est qu'un exemple , on peut prendre n'importe quelle commande

#!/bin/bash
uname -a
(uname -a)
echo "`uname -a`"
echo " $(uname -a) "

cependant dans gedit ( Ubuntu) et dans caja pluma (Mate)  et avec le choix de colorisation "sh" ,
le shell présente une différence de colorisation de uname
les trois premières
uname -a
(uname -a)
`uname`
s'affichent bien ( en marron dans gedit )( en violet dans caja pluma ) , comme une commande reconnue

mais $(uname -a)  reste en fushia (dans gedit) , en rouge (dans caja pluma) , comme si c'était une chaîne ordinaire

quelqu'un saurait-il palier à ce désagrément

Dernière modification par ar barzh paour (Le 09/04/2018, à 13:35)


PC          : B760M DS3H DDR4,  12th Gen Intel(R) Core(TM) i3-12100, RAM DDR4 8GiB -2400 Ubuntu 22.04, 22.04, 23.04
Portable1 : Intel(R) Core(TM)2 Duo CPU     T6570  @ 2.10GHz RAM 4GiB DDR2 667 MHz Ubuntu 23.04 ( en voyage )
Portable2 : T5750  @ 2.00GHz RAM 1GiB DDR2 667 Mhz Ubuntu 20.04 ( batterie HS )
stourm a ran war bep tachenn (Angela Duval) ( Je combats sur tous les fronts )

Hors ligne

#2 Le 13/12/2017, à 03:05

Roschan

Re : [bug en cours] colorisation avec gedit et pluma (bug 791721 et653849]

"dans Caja" ? C'est-à-dire ? il y a un plugin de terminal intégré ?

Hors ligne

#3 Le 13/12/2017, à 11:38

ar barzh paour

Re : [bug en cours] colorisation avec gedit et pluma (bug 791721 et653849]

plugin je ne sais pas mais j'ai fait aussi l'essai dans MATE 16.04  (donc avec caja pluma)
(et aussi en 17.10 gnome?), je n'ai pas de version 18.04 , il faudrait que j'installe
dans le post 1 , uname n'est qu'un exemple , cela vaut pour toutes les commandes


j'ai trouvé une petite parade , ( ne pas mettre de guillemets)

echo 4- $(uname -a)

mais elle n'est pas valable si je veux absolument utiliser les guillemets

echo "
texte quelconque
4- $(uname -a)
texte quelconque
"

je viens d'essayer avec une clé USB 18.04 , même résultat

Dernière modification par ar barzh paour (Le 18/12/2017, à 08:36)


PC          : B760M DS3H DDR4,  12th Gen Intel(R) Core(TM) i3-12100, RAM DDR4 8GiB -2400 Ubuntu 22.04, 22.04, 23.04
Portable1 : Intel(R) Core(TM)2 Duo CPU     T6570  @ 2.10GHz RAM 4GiB DDR2 667 MHz Ubuntu 23.04 ( en voyage )
Portable2 : T5750  @ 2.00GHz RAM 1GiB DDR2 667 Mhz Ubuntu 20.04 ( batterie HS )
stourm a ran war bep tachenn (Angela Duval) ( Je combats sur tous les fronts )

Hors ligne

#4 Le 17/12/2017, à 16:35

ar barzh paour

Re : [bug en cours] colorisation avec gedit et pluma (bug 791721 et653849]

bon pas beaucoup de réponses , je me pencherais sur ça l'année prochaine ... si je trouve le temps ....
les fichiers en cause sont  assez complexes quand même
usr/share/gtksourceview/language-specs/sh.lang
et peut-être
usr/share/gtksourceview/language-specs/styles/?

Dernière modification par ar barzh paour (Le 17/12/2017, à 16:41)


PC          : B760M DS3H DDR4,  12th Gen Intel(R) Core(TM) i3-12100, RAM DDR4 8GiB -2400 Ubuntu 22.04, 22.04, 23.04
Portable1 : Intel(R) Core(TM)2 Duo CPU     T6570  @ 2.10GHz RAM 4GiB DDR2 667 MHz Ubuntu 23.04 ( en voyage )
Portable2 : T5750  @ 2.00GHz RAM 1GiB DDR2 667 Mhz Ubuntu 20.04 ( batterie HS )
stourm a ran war bep tachenn (Angela Duval) ( Je combats sur tous les fronts )

Hors ligne

#5 Le 17/12/2017, à 17:11

lynn

Re : [bug en cours] colorisation avec gedit et pluma (bug 791721 et653849]

Les couleurs dépendent du jeu de couleur utilisé, non..?
mini_906854Capturedcrande20171217170825.png


«C'est pas parce qu'ils sont nombreux à avoir tort qu'ils ont raison!»

Coluche

Hors ligne

#6 Le 17/12/2017, à 17:54

Roschan

Re : [bug en cours] colorisation avec gedit et pluma (bug 791721 et653849]

Gedit utilise GtkSourceView ? Il me semblait que justement non, et que c'est ça qui avait posé problème cet été pour sa maintenance (et pour Caja je ne vois toujours pas trop de quoi tu parles hmm)

Hors ligne

#7 Le 17/12/2017, à 18:12

erresse

Re : [bug en cours] colorisation avec gedit et pluma (bug 791721 et653849]

Bonsoir,
Est-ce qu'il ne confond pas avec "pluma" qui est l'éditeur de texte de Mate, plutôt que "caja" qui est le gestionnaire de fichiers (on ne passe pas de commande en ligne dans Caja, à ma connaissance) ?
Pour la colorisation différente avec ou sans guillemets, c'est peut-être que le système considère ça comme un littéral, non ?


Plus de 50 ans d'informatique, ça en fait des lignes de commandes en console, mais on n'avait pas le choix...
Excellente raison pour, aujourd'hui qu'on le peut, utiliser au maximum les INTERFACES GRAPHIQUES !
Important : Une fois résolu, pensez à clore votre sujet en ajoutant [Résolu] devant le titre du 1er message, et un bref récapitulatif de la solution à la fin de celui-ci. Merci.

Hors ligne

#8 Le 17/12/2017, à 18:30

Roschan

Re : [bug en cours] colorisation avec gedit et pluma (bug 791721 et653849]

Aaaaaaaah...
L'un étant un fork de l'autre, ça ne devrait pas être si différent de toutes manières

Hors ligne

#9 Le 18/12/2017, à 08:32

ar barzh paour

Re : [bug en cours] colorisation avec gedit et pluma (bug 791721 et653849]

@ eresse et Roshan
oui bien sur c'est pluma !!!!! , je rectifie mes posts
devant la complexité , j'ai ouvert un bug sur bugzilla.gnome.org N° 791721

@ lynn
le phénomène se produit quelquesoit le style , les couleurs sont bien sur différentes


eresse a écrit :

Pour la colorisation différente avec ou sans guillemets, c'est peut-être que le système considère ça comme un littéral, non ?

c'est bien le problème et comme je l'ai déjà dit plus haut , à l'intérieur de echo "     " c'est correct si on utilise les ` ` au lieu de $( )


maintenant , il ne s'agit que d'une visualisation , cela n'influe pas sur l'exécution (heureusement)

Dernière modification par ar barzh paour (Le 18/12/2017, à 08:46)


PC          : B760M DS3H DDR4,  12th Gen Intel(R) Core(TM) i3-12100, RAM DDR4 8GiB -2400 Ubuntu 22.04, 22.04, 23.04
Portable1 : Intel(R) Core(TM)2 Duo CPU     T6570  @ 2.10GHz RAM 4GiB DDR2 667 MHz Ubuntu 23.04 ( en voyage )
Portable2 : T5750  @ 2.00GHz RAM 1GiB DDR2 667 Mhz Ubuntu 20.04 ( batterie HS )
stourm a ran war bep tachenn (Angela Duval) ( Je combats sur tous les fronts )

Hors ligne