• Re: Pas d'historique de zsh en root

    From Marc Chantreux@21:1/5 to All on Fri Jun 23 10:00:01 2023
    salut,


    Le Fri, Jun 23, 2023 at 06:17:03AM +0000, benoit a écrit :
    Voici mon .zshrc
    Pourquoi est-ce que je n'ai pas d'historique en root ?

    pas le temps de plonger dans la doc mais je viens de tester
    ma conf:

    HISTSIZE=5000 HISTFILE=~/zsh/history SAVEHIST=5000
    # setopt share_history
    setopt INC_APPEND_HISTORY
    setopt EXTENDED_HISTORY
    setopt HIST_IGNORE_SPACE
    setopt HIST_IGNORE_ALL_DUPS
    setopt HIST_FIND_NO_DUPS
    setopt HIST_SAVE_NO_DUPS

    je passe root avec doas zsh et ça fonctionne.

    est-ce suffisant?

    marc

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Bernard Schoenacker@21:1/5 to All on Fri Jun 23 10:10:01 2023
    Bonjour Benoit,

    en relisant ton fichier rc pour ZSH, j'ai vu une coquille :

    toi :
    HISTFILE=~/.sh_history

    ce que le système attend :
    HISTFILE=~/.zsh_history



    autrement :
    https://github.com/ohmyzsh/ohmyzsh

    Merci

    @+
    Bernard

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From benoit@21:1/5 to All on Fri Jun 23 10:50:01 2023
    Le vendredi 23 juin 2023 à 09:54, Marc Chantreux <mc@unistra.fr> a écrit :


    salut,


    Le Fri, Jun 23, 2023 at 06:17:03AM +0000, benoit a écrit :

    Voici mon .zshrc
    Pourquoi est-ce que je n'ai pas d'historique en root ?


    pas le temps de plonger dans la doc mais je viens de tester
    ma conf:

    HISTSIZE=5000 HISTFILE=~/zsh/history SAVEHIST=5000
    # setopt share_history

    Bonjour oui ça marche tout à fait suffisant...
    Mais c'est probablement à cause de ce qui suit :
    Pare que le nom du fichier HISTFILE=~/zsh/history
    ou .zsh_history
    ou .sh_history
    Pour autant que le nom corresponde dans le .zshrc...

    Du coup ça doit être ici que ça se passe :

    setopt INC_APPEND_HISTORY
    setopt EXTENDED_HISTORY
    setopt HIST_IGNORE_SPACE
    setopt HIST_IGNORE_ALL_DUPS
    setopt HIST_FIND_NO_DUPS
    setopt HIST_SAVE_NO_DUPS

    je passe root avec doas zsh et ça fonctionne.

    est-ce suffisant?


    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From benoit@21:1/5 to All on Fri Jun 23 10:40:01 2023
    Le vendredi 23 juin 2023 à 10:04, Bernard Schoenacker <bernard.schoenacker@free.fr> a écrit :


    Bonjour Benoit,

    Bonjour Bernard




    en relisant ton fichier rc pour ZSH, j'ai vu une coquille :

    toi :
    HISTFILE=~/.sh_history

    ce que le système attend :
    HISTFILE=~/.zsh_history


    Je ne crois pas que le nom du fichier soit normalisé ".zsh_history"


    Je viens d'essayer en le renommant dans .zshrc et en créant touch $HOME/.zsh_history
    ls # juste une commande
    cat $HOME/.zsh_history
    tjs vide

    --
    Benoit

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Marc Chantreux@21:1/5 to All on Fri Jun 23 10:50:01 2023
    salut,

    ce que le système attend :
    HISTFILE=~/.zsh_history

    le système attend un nom de fichier, c'est l'idée même d'avoir
    une variable pour pouvoir paramètrer son nom.

    ca n'est pas une coquille, c'est un choix

    autrement :
    https://github.com/ohmyzsh/ohmyzsh

    en *root*? voilà un bien mauvais conseil je trouve.

    même pour les comptes standard, j'ai tendance à expliquer
    aux gens que la plupart des lignes de ce code ne servent
    juste à rien, ca ralentit et complexifie.

    passe pour les utilisateurs qui veulent des prompts aussi
    colorés qu'inutiles mais ça me semble assez inacceptable
    en root.

    a+
    marc

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From benoit@21:1/5 to All on Fri Jun 23 11:00:02 2023
    Le vendredi 23 juin 2023 à 10:40, Marc Chantreux <mc@unistra.fr> a écrit :


    salut,

    ce que le système attend :
    HISTFILE=~/.zsh_history


    le système attend un nom de fichier, c'est l'idée même d'avoir
    une variable pour pouvoir paramètrer son nom.

    ca n'est pas une coquille, c'est un choix

    autrement :
    https://github.com/ohmyzsh/ohmyzsh


    en root? voilà un bien mauvais conseil je trouve.

    même pour les comptes standard, j'ai tendance à expliquer
    aux gens que la plupart des lignes de ce code ne servent
    juste à rien, ca ralentit et complexifie.

    passe pour les utilisateurs qui veulent des prompts aussi
    colorés qu'inutiles mais ça me semble assez inacceptable
    en root.

    Peut-être que ohmyzsh est exagéré
    mais de là à interdire l'assistant de configuration en root en mode RTFM :

    # autoload -Uz zsh-newuser-install

    # zsh-newuser-install -f
    zsh-newuser-install: won't run as root. Read the manual.

    Je ne comprends pas la raison...

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From benoit@21:1/5 to All on Fri Jun 23 11:10:01 2023
    Le vendredi 23 juin 2023 à 10:44, benoit <benoitlst@protonmail.ch> a écrit :


    Le vendredi 23 juin 2023 à 09:54, Marc Chantreux mc@unistra.fr a écrit :



    salut,

    Le Fri, Jun 23, 2023 at 06:17:03AM +0000, benoit a écrit :

    Voici mon .zshrc
    Pourquoi est-ce que je n'ai pas d'historique en root ?

    pas le temps de plonger dans la doc mais je viens de tester
    ma conf:

    HISTSIZE=5000 HISTFILE=~/zsh/history SAVEHIST=5000
    # setopt share_history


    Bonjour oui ça marche tout à fait suffisant...
    Mais c'est probablement à cause de ce qui suit :
    Pare que le nom du fichier HISTFILE=~/zsh/history
    ou .zsh_history
    ou .sh_history
    Pour autant que le nom corresponde dans le .zshrc...

    Du coup ça doit être ici que ça se passe :

    Je les ai commenté et ça marche plus

    setopt INC_APPEND_HISTORY
    setopt EXTENDED_HISTORY
    setopt HIST_IGNORE_SPACE
    setopt HIST_IGNORE_ALL_DUPS
    setopt HIST_FIND_NO_DUPS
    setopt HIST_SAVE_NO_DUPS


    C'est "setopt INC_APPEND_HISTORY" qui fait que ça marche, mais je ne l'ai pas, dans le .zshrc de mon utilisateur normal...
    Enfin tant que ça marche...

    Merci pour ton aide

    --
    Benoît

    je passe root avec doas zsh et ça fonctionne.

    est-ce suffisant?

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Marc Chantreux@21:1/5 to All on Fri Jun 23 11:30:01 2023
    Le Fri, Jun 23, 2023 at 08:53:23AM +0000, benoit a écrit :
    Peut-être que ohmyzsh est exagéré
    mais de là à interdire l'assistant de configuration en root en mode RTFM :
    # autoload -Uz zsh-newuser-install
    # zsh-newuser-install -f
    zsh-newuser-install: won't run as root. Read the manual.

    Ca n'est pas exagéré du tout:
    * certaines erreurs sont bien plus tragiques en root. pour éviter
    ces erreurs ou des conséquences dramatiques, les 2 règles d'or
    sont:
    * faites des backups
    * ne travaillez en root que si vous n'avez plus d'autre choix
    (quitte à appliquer une séparation des privilèges en créant
    des comptes pour administrer des parties distinctes du système).
    (doas est ton ami!!)
    * si tu as un shell qui te fait le café en root, tu vas prendre la très
    mauvaise habitude de passer beaucoup de temps en root, c'est mal.

    Je ne comprends pas la raison...

    2 raisons:

    * affordance négative: plus ton shell est chiant, moins t'as envie de
    l'utiliser donc tu vas trouver des stratégies pour lancer tes
    commandes depuis ton compte
    * sécurité: tout ce qui tourne en root est forcément plus sensible.
    hors il n'y a pas mieux pour sécuriser que de virer du code, des
    options, des fonctionnalités.

    Au passage du coup je comprend pas trop pourquoi le shell de root dans
    debian est bash :-(. dash (ou mksh) sont suffisants et bien moins gros.

    a+
    marc

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Marc Chantreux@21:1/5 to All on Fri Jun 23 11:30:01 2023
    salut,

    Enfin tant que ça marche...

    idéalement il faudrait comprendre pourquoi mais là j'ai vraiment pas le
    temps :(

    a+
    marc

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From benoit@21:1/5 to All on Fri Jun 23 21:30:02 2023
    Le vendredi 23 juin 2023 à 11:24, Marc Chantreux <mc@unistra.fr> a écrit :


    salut,

    Enfin tant que ça marche...


    idéalement il faudrait comprendre pourquoi mais là j'ai vraiment pas le temps :(


    C'est déjà bien sympa de m'avoir filé ta config... :-)

    Ma confusion vient du fait que j'ai crus (à tors, je viens de vérifier, ce n'est pas dit dans le manuel) que l'option APPEND_HISTORY est l'option par défaut avec HISTFILE=nom_fichier.

    Mais c'est faux, voici l'info exacte :


    INC_APPEND_HISTORY

    This option works like APPEND_HISTORY except that new history lines are added to the $HISTFILE incrementally (as soon as they are entered), rather than waiting until the shell exits. The file will still be periodically re-written to trim it when the
    number of lines grows 20% beyond the value specified by $SAVEHIST (see also the HIST_SAVE_BY_COPY option).

    APPEND_HISTORY <D>

    If this is set, zsh sessions will append their history list to the history file, rather than replace it. Thus, multiple parallel zsh sessions will all have the new entries from their history lists added to the history file, in the order that they
    exit. The file will still be periodically re-written to trim it when the number of lines grows 20% beyond the value specified by $SAVEHIST (see also the HIST_SAVE_BY_COPY option).

    Du coup je n'ai pas gardé l'option :
    EXTENDED_HISTORY <C>

    Save each command’s beginning timestamp (in seconds since the epoch) and the duration (in seconds) to the history file. The format of this prefixed data is:

    ‘: <beginning time>:<elapsed seconds>;<command>’.

    Pas besoin de dater, surtout si c'est humainement lisible

    HIST_FIND_NO_DUPS
    When searching for history entries in the line editor, do not display duplicates of a line previously found, even if the duplicates are not contiguous.

    Me semble redondant avec HIST_IGNORE_ALL_DUPS qui en cas de doublon supprime l'existant et ne garde que le nouveau, du coup il ne saurait pas trouver de doublon.


    Cf.
    https://zsh.sourceforge.io/Doc/Release/Options.html

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Daniel Caillibaud@21:1/5 to All on Tue Jun 27 16:30:01 2023
    Le 23/06/23 à 10:40, Marc Chantreux <mc@unistra.fr> a écrit :
    passe pour les utilisateurs qui veulent des prompts aussi
    colorés qu'inutiles

    Euh, là tu pousses un peu ;-)

    oh my zsh c'est bien plus que du prompt coloré, avec des plugins vraiment pratiques (celui qui
    me sert le plus au quotidien doit être git, mais j'en utilise pas mal d'autres).

    Bien sûr, tu pourrais te configurer toi-même la collection d'alias et la complétion qui va
    avec, mais c'est quand même très confortable de déléguer ça à des gens qui font ça bien et le
    maintiennent ! Avec les versions de git les options possibles et les commandes disponibles
    évoluent, et aller maintenir manuellement la collection de fonctions de complétion c'est quand
    même fastidieux (donc on le fait pas et on se retrouve avec une complétion foireuse).

    Et même pour les alias, je réalise que les leurs sont nettement mieux pensés que ceux que
    j'utilisais avant, avec une logique de nommage assez rigoureuse et exhaustive, qui permet
    de mémoriser les alias facilement. Mes alias perso étaient nommés rigoureusement au début,
    mais au fil des ajouts la logique de départ est devenue de plus en plus floue, elle était mal
    pensée car cantonnée aux besoins de l'époque).

    Et un prompt qui t'indique la branche actuelle, si y'a des commits de retard ou en
    avance et d'autres "fioritures", ça rend vraiment service et peut éviter des bêtises (idem, ça
    peut se configurer à la main, je le faisais avant, et je me suis aperçu que d'autres faisaient
    ça bcp mieux que moi).

    mais ça me semble assez inacceptable en root.

    Tout à fait d'accord !

    --
    Daniel

    Quand Microsoft sortira un truc qui ne se plante pas, ce sera un clou.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Marc Chantreux@21:1/5 to All on Wed Jun 28 13:20:01 2023
    salut Daniel,

    Euh, là tu pousses un peu ;-)

    je plaide coupable: comme je disais je manque de temps et ça se sent
    dans la nuance que je tente d'apporter à mes réponses.

    disons que c'est dommage que ohmyzsh coupe tant de gens de
    l'opportunité d'apprendre des trucs chouettes sur la manière dont
    on peut accorder simplement zsh à son gout, démarche qui permet
    au passage d'échanger avec la communauté (et donc de s'enrichir
    d'autres idées) et de découvrir des astuces intéressantes.

    il y a aussi que je n'avais pas été séduit du tout par la base de code
    qui aurait gagné à être plus défensive.

    bref: je déconseille vraiment ohmyzsh à toute personne qui souhaite
    apprendre zsh.

    * pour les personnes débutantes et/ou peu envieuses de passer du
    temps dans le shell, le script qui s'execute lors de ta première
    session te permet de tunner plein de choses
    * pour les autres, partir de son besoin et apprendre à faire
    soi-même (en interagissant avec la communauté) est une approche
    bien plus émancipante et riche socialement que d'installer une
    reflexion prete à l'emploi dans son shell, aussi aboutie
    soit-elle. ohmyzsh doit donc rester au mieux une source
    d'inspiration sur les aspects fonctionnels.

    evidement c'est une vision personnelle

    cordialement,
    marc

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Daniel Caillibaud@21:1/5 to All on Wed Jun 28 15:20:01 2023
    Le 28/06/23 à 13:16, Marc Chantreux <mc@unistra.fr> a écrit :
    il y a aussi que je n'avais pas été séduit du tout par la base de code
    qui aurait gagné à être plus défensive.

    Je ne suis pas suffisamment rentré dans les détails et je te fais confiance, c'est d'ailleurs
    pour ça que par principe c'est à prescrire pour root, mais pour un user lambda le risque
    d'avoir une base de code externe qui s'exécute à chaque shell vs le confort apporté peut se
    discuter.

    bref: je déconseille vraiment ohmyzsh à toute personne qui souhaite apprendre zsh.

    * pour les personnes débutantes et/ou peu envieuses de passer du
    temps dans le shell, le script qui s'execute lors de ta première
    session te permet de tunner plein de choses

    C'est vrai, mais on reste très loin des fonctions de complétions que peut apporter omz, si on
    veut la même chose en le faisant soi-même faut pas mal d'huile de coude.

    * pour les autres, partir de son besoin et apprendre à faire
    soi-même (en interagissant avec la communauté) est une approche
    bien plus émancipante et riche socialement que d'installer une
    reflexion prete à l'emploi dans son shell, aussi aboutie
    soit-elle. ohmyzsh doit donc rester au mieux une source
    d'inspiration sur les aspects fonctionnels.

    C'est vrai aussi, mais les journées ne font que 24h, et le shell reste une brique de base qui
    ne devrait pas nous prendre trop d'heures par semaine. Je fais surtout du dev js maintenant, et
    le ratio entre le développement proprement dit et le réglage des outils pour bosser à chaque
    montée de version d'une dépendance est pas terrible, devoir le faire pour le shell aussi en
    rajoute une louche, même si c'est pas la faute de zsh si l'écosystème js manque de maturité ;-)

    Je suis resté adminsys sous bash pendant des années avant de passer à zsh, puis découvert oh my
    zsh une fois devenu développeur à plein temps, et j'avoue qu'un shell qui fait le café c'est
    dangereux mais très confortable :-)

    (dans le genre y'a aussi fish, pas vraiment testé car pas vu l'utilité pour mes besoins, mais la
    digression peut partir loin :-P)

    Sur le fond tu as probablement raison, un jour si j'ai le courage j'essaierai de me faire un
    dépôt git perso pour mes alias zsh et leur complétion, avec des subrepo vers les plugins omz
    qui m'intéressent pour pouvoir faire du merge interactif à la demande (voir les évolutions
    upstream qu'on intègre ou pas, mais seulement sur ces plugins sans devoir parcourir toutes les
    évolutions d'omz qu'on utilisera jamais).

    J'apprendrai sûrement plein de trucs sur zsh, mais c'est pas vraiment pour ça que mon patron me
    paie ;-)

    Dans mon cas, l'idéal serait probablement des paquets debian zsh_completion_xxx (où xxx
    pourrait ± correspondre aux plugins omz), à l'image de bash_completion et plus sécure qu'un
    dépôt git externe mise à jour très souvent de manière ± automatique, mais j'ai pas les
    compétences pour maintenir ça.

    --
    Daniel

    On réalise qu'une femme est de la dynamite quand on la laisse tomber.
    Marcel Pagnol.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Daniel Caillibaud@21:1/5 to All on Wed Jun 28 16:00:01 2023
    Le 28/06/23 à 15:18, Daniel Caillibaud <ml@lairdutemps.org> a écrit :
    * pour les personnes débutantes et/ou peu envieuses de passer du
    temps dans le shell, le script qui s'execute lors de ta première
    session te permet de tunner plein de choses

    C'est vrai, mais on reste très loin des fonctions de complétions que peut apporter omz, si on
    veut la même chose en le faisant soi-même faut pas mal d'huile de coude.

    En fait pas tant que ça, car il y a déjà pas mal de chose dans le zsh "standard", cf par ex
    https://dev.to/rossijonas/how-to-set-up-history-based-autocompletion-in-zsh-k7o

    Dans mon cas, l'idéal serait probablement des paquets debian zsh_completion_xxx (où xxx
    pourrait ± correspondre aux plugins omz), à l'image de bash_completion

    Je réalise que ça n'existe pas car c'est déjà dans les modules qui viennent avec zsh (par ex la
    fct _git qui est déjà une fonction du shell qu'on peut utiliser pour l'autocomplétion)

    --
    Daniel

    Il y a quelqu'un sans qui tout ce que j'ai fait
    jusqu'à présent n'aurait pas été possible: MOI.
    Philippe Geluck, Le chat

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Marc Chantreux@21:1/5 to All on Wed Jun 28 19:40:01 2023
    salut Daniel,

    Pour être honnête: je n'ai pas vu ohmyzsh depuis au moins 10 ans. Il y a
    fort à parier que ça a évolué.

    * pour les personnes débutantes et/ou peu envieuses de passer du
    temps dans le shell, le script qui s'execute lors de ta première
    session te permet de tunner plein de choses

    C'est vrai, mais on reste très loin des fonctions de complétions que
    peut apporter omz, si on veut la même chose en le faisant soi-même
    faut pas mal d'huile de coude.

    alors c'est triste: pourquoi les mainteneurs de omz ne proposent pas des ajouts/corrections à la completion officielle? si elle est bien, on y gagnerais tous.

    bon j'avoue que je suis plutôt vim+gitgutter+fugitive quand il s'agit d'utiliser git mais pe que pour d'autres outils, ce serait possible.

    C'est vrai aussi, mais les journées ne font que 24h, et le shell reste
    une brique de base qui ne devrait pas nous prendre trop d'heures par
    semaine.

    c'est précisément par manque de temps que je me force à ne pas rentrer
    dans une longue explication dont la conclusion serait: le temps que j'ai
    passé à apprendre zsh et vim m'a été remboursé au centuple au moins par
    la liberté et la productivité que ca me génère.

    surtout quand j'explore qqchose dont tout le monde se fout (par exemple
    des plugins qui sont particulièrement utiles pour la démonstration et l'enseignement mais que tu peux virer après).

    souviens par exemple que quand j'ai commencé à faire du roff, je m'étais fais qqs lignes de viml pour pointer facilement vers de la doc, faire de
    la completion de base, …

    c'était très brut de fonderie et absolument impubliable mais ca m'a fait gagner un temps fou.

    rajoute une louche, même si c'est pas la faute de zsh si l'écosystème js manque de maturité ;-)

    ah oui: je n'ai clairement pas ce genre de besoins :)

    Je suis resté adminsys sous bash pendant des années avant de passer à
    zsh, puis découvert oh my zsh une fois devenu développeur à plein
    temps, et j'avoue qu'un shell qui fait le café c'est dangereux mais
    très confortable :-)

    je suis d'accord avec toi: si on se fait une visio un de ces 4, je peux
    te montrer à quoi ressemble mon zsh: c'est assez loin de l'approche de
    omz mais je suis bien content de ce que j'ai produit.

    (dans le genre y'a aussi fish, pas vraiment testé car pas vu l'utilité
    pour mes besoins, mais la digression peut partir loin :-P)

    fish fait partie de ces shells dont je ne comprend pas l'intéret.
    certes, tous les shells historiques ont des pbs mais je ne vois pas
    en fish une correction de ces pbs.

    Sur le fond tu as probablement raison, un jour si j'ai le courage j'essaierai de me faire un
    dépôt git perso pour mes alias zsh et leur complétion,

    je tenterais de publier ma conf zsh dans les prochains jours comme base
    de discussion. de là on pourrait se faire une visio: ca fait longtemps
    qu'on l'envisage chez les libristes alsaciens.

    avec des subrepo vers les plugins omz
    qui m'intéressent pour pouvoir faire du merge interactif à la demande (voir les évolutions
    upstream qu'on intègre ou pas, mais seulement sur ces plugins sans devoir parcourir toutes les
    évolutions d'omz qu'on utilisera jamais).

    c'est le genre de choses que je fais avec vim donc je serais bien
    curieux de voir comment ça se passe coté zsh.

    Dans mon cas, l'idéal serait probablement des paquets debian zsh_completion_xxx (où xxx
    pourrait ± correspondre aux plugins omz),

    ahhh … y'a une idée là !!!

    bon. on se retrouve sur shell-fr pour reparler des détails au fil de
    l'eau ;)

    bien à toi
    marc

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Marc Chantreux@21:1/5 to All on Wed Jun 28 19:50:01 2023
    salut,

    En fait pas tant que ça, car il y a déjà pas mal de chose dans le zsh "standard", cf par ex
    https://dev.to/rossijonas/how-to-set-up-history-based-autocompletion-in-zsh-k7o

    alors … pour le coup je n'utilise pas la completion pour ça: j'ai un système de menus qui gère mes taches courantes dont l'accès à mes MRU (readings, edited, here (répertoire), …).

    mais je vais jeter un coup d'oeil.

    en fait la vraie perte de temps dans ta vie c'est JS et la stack web de manière générale :)

    Je réalise que ça n'existe pas car c'est déjà dans les modules qui viennent avec zsh (par ex la
    fct _git qui est déjà une fonction du shell qu'on peut utiliser pour l'autocomplétion)

    certes mais il exsite d'autres complétions ici et là. certains workers
    ne sont pas super emballés par le fait d'intégrer de nouvelles
    completions écrites par un utilisateur puis plus maintenue. Idéalement, pensent certains, il faudrait faire adopter les complétions par les
    projets upstream et donc les complétions viendraient dans le répertoire vendor.

    a+
    marc

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)