• # sed/awk

    Posté par  . Évalué à 1.

    enfin n'importe quel outil capable de faire rechercher/remplacer
    • [^] # Re: sed/awk

      Posté par  . Évalué à 2.

      Ça ne marche simplement que si tu as un ensemble de couleurs de petite taille et connu à l'avance.

      Parce qu'une commande sed capable de convertir "toutes les couleurs vers toutes les couleurs" ça risque d'être long à écrire.

      THIS IS JUST A PLACEHOLDER. YOU SHOULD NEVER SEE THIS STRING.

      • [^] # Re: sed/awk

        Posté par  (site web personnel) . Évalué à 2.

        Merci pour vos réponses.

        Effectivement cela risque d'être long ...

        Je vais faire l'inverse, créer les pages web et y intégrer les logs avec des includes et pourquoi pas changer les couleurs mais via du php.

        Bonne journée
        • [^] # Re: sed/awk

          Posté par  . Évalué à 2.

          En fait, ce n'est pas forcément très long à réaliser. Il suffit de trouver les tables de correspondance "bash magie" -> "couleur" et d'utiliser ton éditeur de texte préféré. Indice : VIM qq @q est ton ami :)

          On peut par exemple arriver à ceci: http://pastebin.com/M1fVXiLA

          /alors Nadal ou Soderling ?
  • # Un script python

    Posté par  . Évalué à 1.

    Un script python et quelques expressions régulières devraient le faire sans difficulté. (Même pas sur d'avoir besoin d'expressions régulières)

    Systemd, the bright side of linux, toward a better user experience and on the road to massive adoption of linux for the desktop.

Suivre le flux des commentaires

Note : les commentaires appartiennent à celles et ceux qui les ont postés. Nous n’en sommes pas responsables.