J'essaie de construire GNU grep, et quand je lance make, j'obtiens :
[snip]
/bin/bash: line 9: makeinfo: command not found
Qu'est-ce que le makeinfo, et comment l'obtenir ?
(C'est Ubuntu, si cela fait une différence)
J'essaie de construire GNU grep, et quand je lance make, j'obtiens :
[snip]
/bin/bash: line 9: makeinfo: command not found
Qu'est-ce que le makeinfo, et comment l'obtenir ?
(C'est Ubuntu, si cela fait une différence)
Notez juste que pour installer le paquet, il faut sudo apt-get install texinfo . Notez que c'est teXinfo, et non texTinfo que j'ai lu par erreur au début.
Juste pour la note - comment savoir quel paquet contient l'utilitaire ? Par exemple, comment connaître texinfo si je connais seulement le nom makeinfo.
Vous exécutez la commande dans le terminal $ makeinfo
et Ubuntu vous le dira : he program 'makeinfo' is currently not installed. You can install it by typing: sudo apt-get install texinfo
Si vous construisez des paquets à partir de zéro :
Plus précisément, si vous construisez bash
à partir de la source, les documents d'installation, y compris les pages de manuel, échoueront (silencieusement) sans makeinfo
disponible.
Prograide est une communauté de développeurs qui cherche à élargir la connaissance de la programmation au-delà de l'anglais.
Pour cela nous avons les plus grands doutes résolus en français et vous pouvez aussi poser vos propres questions ou résoudre celles des autres.
11 votes
Pour ceux qui sont venus ici en se demandant comment les experts en la matière ci-dessous trouvent ce genre de choses : il suffit de faire
apt-file search bin/makeinfo
0 votes
apt search makeinfo
#(ouyum search makeinfo
)