bring back pushdot.sh
minor tweaks