On Wed, 2001-11-28 at 16:15, /dev/null wrote:
> On Wed, Nov 28, 2001 at 03:58:12PM +0100, Federico Di Gregorio wrote:
> > > > comunque, molti dei problemi non sono gravi per un .deb generato da
> > > > checkinstall, ma per il .deb di checkinstall... preferirei vederlo a
> > > > posto.
> > > OK. Mettiamo i binari in /usr o in /usr/local?
> >
> > dove li vuole l'utente, a questo non c'e' scelta. (io li metterei in
> > /opt se poi quel deb lo distribuisco ed in /usr/local se lo usero' solo
> > io.)
> Forse non ho capito la tua risposta. Io chiedevo dove mettere i binari
> di checkinstall.
ah, sorry. tutto in /usr ovviamente, senza il local. ma in tal caso il
pacchetto devi farlo a mano, non con checkinstall. cosi' se mai entrasse
in debian, gli autobuilder riescono a portarlo su altre architetture.
--
Federico Di Gregorio
Debian GNU/Linux Developer & Italian Press Contact fog@debian.org
INIT.D Developer fog@initd.org
Best friends are often failed lovers. -- Me
Attachment:
pgpg1MRMSejwu.pgp
Description: PGP signature