######################################################################
echo ""
echo "# On RedHat or centos, please run the commands"
-echo "sudo date"
+echo "sudo date # ask for password early"
echo "git pull"
echo "\$HOME/proj/git-tools/id-deb-build/mkdist.sh"
echo "sudo cp $package-$version.tar.gz /usr/src/redhat/SOURCES/"