fix setup.sh pubkey filename problem.

.gitignore

+*.yy.cc
+*.tab.cc
+*.tab.h
+
+*.d
+*.o
+*.out
+*.output
+
+build
+
+.idea
+.vscode

setup.sh

@@ -10,10 +10,14 @@ function env_set() {
 
 [ -z ${STUID} ]   && echo "STUID must be set (RTFM)"   && exit
 [ -z ${STUNAME} ] && echo "STUNAME must be set (RTFM)" && exit
-echo "uploading public key..."
-echo curl -F "id=${STUID}" -F "name=${STUNAME}" -F "file=@${HOME}/.ssh/RecolicPC.pub" "https://$hust_submit_server_host/teach/api/uploads/pasetup"
-curl -F "id=${STUID}" -F "name=${STUNAME}" -F "file=@${HOME}/.ssh/RecolicPC.pub" "https://$hust_submit_server_host/teach/api/uploads/pasetup" -vv
-sleep 10
+
+[ -z "$pubkey" ] && pubkey="${HOME}/.ssh/id_rsa.pub"
+[ ! -f "$pubkey" ] && echo "Public key file $pubkey doesnt exist." && exit 2
+
+echo "uploading public key $pubkey..."
+echo curl -F "id=${STUID}" -F "name=${STUNAME}" -F "file=@$pubkey" "https://$hust_submit_server_host/teach/api/uploads/pasetup"
+curl -F "id=${STUID}" -F "name=${STUNAME}" -F "file=@$pubkey" "https://$hust_submit_server_host/teach/api/uploads/pasetup" -vv
+sleep 5
 echo "setup git-remote..."
 git remote add hustpa "pa@$hust_submit_server_host:${STUID}-git"
 git branch pa0