Bonjour à tous,
J'ai installé cubuntu 14.04 et il me manque plein de pages de manuel.
Après moult tâtonnements, j'ai constaté que les manuels de plusieurs paquets n'étaient pas ou mal installés.
$MANPATH était vide. J'ai commencé par l'ajuster dans .profile (sans effet):
En procédant à la réinstallaton des paquets suivants, les manuels correspondants étaient enfin disponibles:
Mais la liste n'est pas exhaustive et il y en a plein d'autres...
Qq'un a-t-il rencontré un problème analogue ?
N'y a-t-il pas un moyen plus cohérent de procéder
D'avance merci pour votre coup de main.
Cordialement.
J'ai installé cubuntu 14.04 et il me manque plein de pages de manuel.
Après moult tâtonnements, j'ai constaté que les manuels de plusieurs paquets n'étaient pas ou mal installés.
$MANPATH était vide. J'ai commencé par l'ajuster dans .profile (sans effet):
- Code:
MANPATH=/usr/local/share/man:/usr/share/man
En procédant à la réinstallaton des paquets suivants, les manuels correspondants étaient enfin disponibles:
- Code:
$ sudo apt-get install --reinstall net-tools # pour 'man ifconfig'
$ sudo apt-get install --reinstall dash # man dash
$ sudo apt-get install --reinstall man-db # man apropos ; man mandb
$ sudo apt-get install --reinstall groff # man groff
Mais la liste n'est pas exhaustive et il y en a plein d'autres...
Qq'un a-t-il rencontré un problème analogue ?
N'y a-t-il pas un moyen plus cohérent de procéder
D'avance merci pour votre coup de main.
Cordialement.
Dernière édition par blonchkman le Sam 28 Juin - 18:24, édité 2 fois
Jeu 24 Mai - 20:39 par GC29
» Comment verifier que je suis bien sous Cubuntu + Cubuntu 18.04
Dim 13 Mai - 10:01 par breizhat
» install google earth [Résolu]
Dim 29 Avr - 15:59 par Lepralo
» Google Earth
Dim 29 Avr - 11:09 par Lepralo
» Montage automatique des clés USB
Mar 27 Fév - 14:54 par Gsigms
» Cubuntu Cinnamon
Mar 2 Jan - 15:25 par petitnain
» [RESOLU] ctrl+left or right => jump word
Lun 23 Oct - 7:43 par darkeclypse
» Créer un nouveau lanceur inopérant.
Lun 9 Oct - 8:18 par palerider
» [RÉSOLU] Carte son Creative Sound Blaster Cinema 2 ne fonctionne pas
Lun 21 Nov - 17:55 par pachot
» update kernel
Ven 18 Nov - 21:43 par cubyti