mv bin/eigerDetectorServer bin/$2 git rm -f bin/$1 git add bin/$2