;;
local:* )
cd
- v "$cmd"
+ v bash -c "cd && $cmd"
cd -
;;
esac
v cp $src ${chroots}/${target}/home/${LOGNAME}/$dst
;;
local:* )
- v cp $src $dst
+ v cp $src $HOME/$dst
;;
esac
}
v cp ${chroots}/${target}/home/${LOGNAME}/$src $dst
;;
local:* )
- v cp $src $dst
+ v cp $HOME/$src $dst
;;
esac
}
}
# Build various debs
-build chroot:lenny64 lenny lenny oldstable
-build ssh:leucomorph lenny lenny oldstable
-build ssh:araminta squeeze "" stable
-build ssh:sandestin squeeze "" stable
+build local:araminta wheezy "" sid
+build chroot:wheezy32 wheezy "" sid
# Update the web
-cp $src $web
+cp $src README README.developers CHANGES.html $web
cd doc
for f in *.[1-9].html; do
echo $f