From 2d9971f00bbe198df30edec46f42c1451a543656 Mon Sep 17 00:00:00 2001 From: des Date: Thu, 5 Feb 2004 11:08:36 +0000 Subject: Use more generic directories (most prominently, s|/home/des|%%HOME%%|) --- tools/tools/tinderbox/etc/default.rc | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'tools') diff --git a/tools/tools/tinderbox/etc/default.rc b/tools/tools/tinderbox/etc/default.rc index 6477064..023776e 100644 --- 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 -- cgit v1.1