Logo GNT
Actualités Tests & Guides Bons Plans
GTA 6 iPhone 17 Copilot Switch 2 Temu ChatGPT Tesla
OVH Cloud OVH Cloud
Entraide Linux Autres OS Linux Un browser de manuel graphique ?

Un browser de manuel graphique ?

14 réponses
Avatar
Batyann811
Salut tout le monde,

Bon je suis peut être un peu HS sur le coup mais connaissez-vous un
programme sous X pour consulter les pages de manuel (accessibles par man) ?

J'ai bien trouvé xman mais la molette de ma souris n'y marche pas c'est
pas top. J'ai aussi lu que l'on pouvait utiliser Konqueror mais
j'utilise gnome. Y a-t-il autre chose ?

Merci
Signaler un problème avec ce contenu

4 réponses

Supprimer
Cette action est irreversible, confirmez la suppression du commentaire ?
Signaler le commentaire

Veuillez sélectionner un problème

Nudité
Violence
Harcèlement
Fraude
Vente illégale
Discours haineux
Terrorisme
Autre
1 2
Avatar
Batyann811
Ronald wrote:


Avec le 2.4 yelp lisait les pages man, avec le 2.6.1 il ne peut plus
du tout.


Ben je suis en 2.6 ça doit être pour ça que ça marche pas !

Avatar
Batyann811
Batyann811 wrote:
Merci ! C'est plutôt bien ton truc.

En examinant les liens dans les pages générées je me demande si il
serait pas possible d'installer apache pour pouvoir se ballader dans les
pages man avec son browser. Je vais voir si je peux faire fonctionner ça
dés que j'en ai le temps.


N'ayant toujours pas trouvé de browser graphique pour les man (autre que
xman qui est trop moche) j'ai ecris un petit prog en php qui me permet
de consulter les pages man dans un browser. C'est un peu lourd puisqu'il
faut avoir apache et php qui fonctionne.

Voici donc le prog au cas ou cela puisse servir à quelqu'un (c'est aussi
mon premier prog en php donc soyez indulgent) :

---------------------------------------------------------------

<?php
$cmd = $_GET['cmd'];
$qs = getenv("QUERY_STRING");

function manpage($cmd)
{
$pos = strpos($cmd,'+');
$section = "";

if($pos>0)
{
$section = substr($cmd,0,$pos);
$cmd = substr($cmd,$pos+1,strlen($cmd)-$pos);
}

$fichier = exec("man -w $cmd");
$script = getenv("SCRIPT_NAME");
$sortie = shell_exec("zcat $fichier | man2html -h -M $script");

$pos = strpos($sortie,"<BODY>") + 6;
$sortie = substr($sortie,$pos);

$pos = strpos($sortie,"</BODY>")-1;

$sortie = substr($sortie,1,$pos);

return $sortie;
};

?>

<html><head></head><body>

<form action="man.php" method="GET">
Search :
<input type="text" name="cmd" value="<?php echo $cmd ?>" >
<input type="submit" value="Man">
</form>

<hr>

<?php
if ($cmd != "")
echo manpage($cmd);
else
if($qs != "")
echo manpage($qs);
?>

</body></html>

---------------------------------------------------

Merci à motodashi pour l'idée du 'man2html'.

Avatar
Nicolas George
Batyann811 wrote in message <cem8f4$vej$:
$fichier = exec("man -w $cmd");


Tu l'as rendu accessible quelque part ? J'aimerais bien aller fouiller
le contenu de ton disque dur :-Þ

Avatar
Batyann811
Nicolas George wrote:
Batyann811 wrote in message <cem8f4$vej$:

$fichier = exec("man -w $cmd");



Tu l'as rendu accessible quelque part ? J'aimerais bien aller fouiller
le contenu de ton disque dur :-Þ
Et non c'est accessible qu'en local mais si tu te sens l'âme d'un pirate

voici quelques bonnes adresses : www.nsa.net www.fbi.com www.us-army.org

Tu verras c'est sans risque ;-)


1 2