Update workshop_setup.sh

make sure proxy setting are avail immediately