I like to install custom packages in $HOME/.local. This patch allows me to send the DESTDIR environment variable into make install, to have it install with a custom prefix.
direnv is awesome, by the way. :)
Allow for overriding $(DESTDIR), for those of us who prefer $HOME/.lo…
…cal to /usr/local.
I'm still trying to gain traction and am curious of your uses of direnv. Feel free to write at email@example.com with feebacks and stuff. And welcome to direnv :)