notes·de·pit

Parfois j'apprends à pêcher à des gens qui n'aiment pas le poisson

diff et Free

Texte initialement publié sur LinuxFR

Salut

J'utilise un wiki [1] [2] qui nécéssite la commande diff. Chez moi, je sais bien où elle est (/usr/bin/diff) ... mais chez free ?

As-tu une idée cher journal ... de seconde page.

Merci

[1] http://cagratte.pit-it.com(...)
[2] http://pmichaud.com(...)

Publié le
12 juin 2004

PiT

On peut faire les choses sérieusement sans se prendre au sérieux…

Pierre mais on m'appelle Pit et je signe Pinkilla ou Père BT, c'est selon.

Si vous avez aimé un article, dites-le — sur le fediverse, Twitter, par mail… — ça fait plaisir.

Commentaires

1. Le samedi 12 juin 2004, 13:29 par Pascal Terjan: Nulle part

De toute facon je doute que tu aies le droit à la commande exec chez Free...
2. Le samedi 12 juin 2004, 13:46 par Simon Huet: diff.php

Est-ce qu'un script php "simulant" un diff comme celui ci : http://de.tikiwiki.org/dox-head/html/diff_8php-source.html(...) ne conviendrait-il pas ?
3. Le samedi 12 juin 2004, 14:05 par PiT: Re: diff.php

Sans doute, mais je n'y connais pas grand chose ne PHP.

Comment je fais pour l'includre la-dedans [1] ... je suppose que ke dois "changer" l'appel à /usr/bin/diff vers quelque chose du genre scripts/diff.php mais comment ?

Merci.

[1] http://pitttwiki.free.fr(...) (un p'tit wget http://pitttwiki.free.fr/index.php(...) )
4. Le samedi 12 juin 2004, 14:15 par Krunch: Re: diff.php

Bon j'ai pas regardé comment fonctionnait ce wiki ni à quoi ressemble ce diff.php et ça fait un moment que j'ai plus fait de php mais a mon avis "exécuter" un fichier php tel quel ça risque de pas trop marcher. L'idéal est probablement de faire une fonction avec diff.php (si c'est pas déjà fait) et de l'utiliser en lieu et place du exec() (ou system() ou je ne sais quoi). Ensuite tu envois le patch à l'auteur original qui sera bien content d'avoir viré deux dépendances à son logiciel (fonction exec() et programme externe diff).
5. Le samedi 12 juin 2004, 21:13 par <span style="text-decoration: line-through">bohwaz</span>: diff php

Moi je cherche une fonction php qui fasse un diff entre deux textes... Un truc simple et rapide... Si vous avez ça?