+# Put files into the build environment
+put() {
+ local src="$1"
+ local h=$2
+ local dst="$3"
+ target=${h#*:}
+ case $h in
+ ssh:* )
+ v scp $src ${target}:$dst
+ ;;
+ chroot:* )
+ v cp $src ${chroots}/${target}/home/${LOGNAME}/$dst
+ ;;
+ local:* )
+ v cp $src $HOME/$dst
+ ;;
+ esac
+}
+
+# Retrieve files form the build environment
+get() {
+ local h=$1
+ local src="$2"
+ local dst="$3"
+ target=${h#*:}
+ case $h in
+ ssh:* )
+ v scp ${target}:$src $dst
+ ;;
+ chroot:* )
+ v cp ${chroots}/${target}/home/${LOGNAME}/$src $dst
+ ;;
+ local:* )
+ v cp $HOME/$src $dst
+ ;;
+ esac
+}
+
+# Build a .deb in some build environment, and copy it to the distribution
+# location