Jeff Abrahamson on 4 Dec 2004 00:11:02 -0000


[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]

Re: [PLUG] new @ debian/apt maintenance


On Fri, Dec 03, 2004 at 12:00:07PM -0500, Stephen Gran wrote:
> The easiest solution here, as Sean has pointed out, is probably just
> to remove the Ubuntu version, and install the new one in /usr/local.
> Presumably the install script allows you to set DESTDIR, although I
> have not checked.

I've occasionally found it useful to install with

    ./configure --prefix=/usr/local/pkg-name/
    make
    make install

It dirties my PATH a bit, but it makes it easier to clean up when,
some day, the debian package catches up.  Just put
/usr/local/pkg-name/bin before /usr/bin in your path.

-- 
 Jeff

 Jeff Abrahamson  <http://www.purple.com/jeff/>    +1 215/837-2287
 GPG fingerprint: 1A1A BA95 D082 A558 A276  63C6 16BF 8C4C 0D1D AE4B

 A cool book of games, highly worth checking out:
 http://www.amazon.com/exec/obidos/ASIN/1931686963/purple-20

Attachment: signature.asc
Description: Digital signature