echo "\$HOME/proj/git-tools/id-deb-build/mkdist.sh"
echo "\$HOME/proj/git-tools/id-deb-build/id-mk-deb-src.sh"
echo "sudo \$HOME/proj/git-tools/id-deb-build/id-pbuild.sh"
echo "\$HOME/proj/git-tools/id-deb-build/mkdist.sh"
echo "\$HOME/proj/git-tools/id-deb-build/id-mk-deb-src.sh"
echo "sudo \$HOME/proj/git-tools/id-deb-build/id-pbuild.sh"