if [ $1 = "cora" ]; then
  nix-shell --command "cd experiments && cargo xbuild --release --no-default-features --features=target_cora_z7_10"
elif [ -z $2 ]; then
  nix-shell --command "cargo xbuild --release" && scp -P 2204 -C target/armv7-none-eabihf/release/experiments $1@nixbld.m-labs.hk:/home/$1/zc706/zc706.elf
else
  nix-shell --command "cargo xbuild --release" && scp -C target/armv7-none-eabihf/release/experiments $1@rpi-4.m-labs.hk:/home/$1/zc706/zc706.elf
fi