Use more generic directories (most prominently, s|/home/des|%%HOME%%|)

2004-02-05 11:08:36 +00:00 · 2004-02-05 11:08:36 +00:00 · d36f5b40f2
commit d36f5b40f2
parent fef1e56d1e
1 changed files with 3 additions and 3 deletions
--- a/tools/tools/tinderbox/etc/default.rc
+++ b/tools/tools/tinderbox/etc/default.rc
@ -7,11 +7,11 @@
 comment		= %%branch%% tinderbox

 # Paths
-sandbox		= /home/des/tinderbox
-logdir		= /home/des/public_html
+sandbox		= %%HOME%%/sandbox
+logdir		= %%HOME%%/logs

 # Tinderbox options
-tinderbox	= /home/des/bin/tinderbox
+tinderbox	= %%HOME%%/bin/tinderbox
 options		= --verbose
 targets		= update, world, generic, lint