Le 01.05.2007 20:44,, le perspicace Frédéric Perrin s'exprimait en ces
termes:
> Le Tue, 1 May 2007 18:13:47 +0200, Bruno Patri <[EMAIL PROTECTED]>
> a écrit :
>> Il vaut mieux eviter ce genre de manip. Il est préférable d'utiliser
>> la séquence suivante :
>> ./configure --prefix=/usr
>> make (pour voir si ça compile bien)
>> sudo checkinstall (pour générer et installer un .deb qu'on pourra
>> ensuite facilement desinstaller ou mettre à jour avec son
>> gestionnaire de paquets préféré)
> 
> Pourquoi installer dans /usr ? J'avais cru comprendre que les logiciels
> compilés par l'administrateur local devaient aller dans /usr/local, et
> que le reste de /usr était sous la responsabilité de la distribution...

C'est exact, mais la solution de Bruno revenant à créer un paquet .deb,
autant confier entièrement la gestion de l'installation du
programme/paquet à apt. Et idem pour la désinstallation.



-- 
SunWukong
GPG Key available : 0xF4DD0AD2 on keyserver.ubuntu.com

-- 
ubuntu-fr mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-fr

Répondre à