gistfile1.txt

#!/bin/bash

if [ $# -ne 1 ]; then
        echo "plz ex[0-1][1-9] "
        exit 1
fi

echo "
curl -s -f -L -u \"mizuki.sonoko/token:$API_KEY\" https://github.com/MizukiSonoko/$REPO_NAME/archive/master.zip -O
unzip master.zip
rm master.zip
mv $REPO_NAME-master/$1 ~/lp
rm -rf $REPO_NAME-master
cd ~/Kadai/$1/testdir
make clean
make
./testall.sh
" > script.sh

ssh ID @university.ac.jp 'bash -s' < script.sh