View previous topic :: View next topic |
Author |
Message |
Nicom Guru
Joined: 30 Jan 2003 Posts: 380
|
Posted: Sat Jul 05, 2003 8:13 pm Post subject: change ccache dir? |
|
|
How would I change the ccache dir from /var/tmp/ccache or whatever the default is to /mnt/media/var/tmp/ccache ? The partition var is one doesn't have much room left, and /mnt/media has plenty. |
|
Back to top |
|
|
humpback Retired Dev
Joined: 19 Oct 2002 Posts: 394 Location: Coimbra - Portugal
|
Posted: Sun Jul 06, 2003 1:22 am Post subject: |
|
|
ln -s target_dir_with_lots of_space default_dir_with_not_so_much_space _________________ Gustavo Felisberto
Humpback @ #gentoo-pt
------------
It's most certainly GNU/Linux, not Linux. Read more at
http://www.gnu.org/gnu/why-gnu-linux.html .
------------- |
|
Back to top |
|
|
phelan Tux's lil' helper
Joined: 22 Aug 2002 Posts: 110 Location: Zürich, Switzerland
|
Posted: Sun Jul 06, 2003 7:38 am Post subject: |
|
|
Create a new entry in /etc/env.d with "CCACHE_DIR=your_dir". For example:
echo CCACHE_DIR=/mnt/media/var/tmp/ccache > /etc/env.d/97ccache
Then run env-update
There is also an entry in make.conf, where you can specify the dir, but it doesn't work for me. |
|
Back to top |
|
|
Nicom Guru
Joined: 30 Jan 2003 Posts: 380
|
Posted: Sun Jul 06, 2003 10:25 pm Post subject: |
|
|
It worked, thanks. |
|
Back to top |
|
|
|