Date: Fri, 22 Sep 2017 13:55:11 -0500 From: Paul Schmehl <pschmehl_lists@tx.rr.com> To: FreeBSD Ports <freebsd-ports@freebsd.org> Subject: Installing ports in other places Message-ID: <9090802D8D0C91962693D750@Pauls-MacBook-Pro.local>
next in thread | raw e-mail | index | archive | help
I need to install mediawiki, but I want to install it in a different location - in my home directory in a directory named wiki. I've read about DESTDIR, but I'm not certain that will work as I intend. If I run make install DESTDIR=/homedir/wiki, will the port install as /homedir/wiki/mediawiki? Or will it install in /homedir/wiki? Paul Schmehl, Retired As if it wasn't already obvious, my opinions are my own and not those of my employer. ******************************************* "It is as useless to argue with those who have renounced the use of reason as to administer medication to the dead." Thomas Jefferson "There are some ideas so wrong that only a very intelligent person could believe in them." George Orwell
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?9090802D8D0C91962693D750>