ops: play with args
commit5a3cc0140e26d2e667d258a0ba3b5b7c3b8b998a
authorHunter Miller <hunter@hmiller.dev>
dateSun 30 Apr 2023, 00:10 (3 years ago)
parentb12e3f3
.github/helpers/deploy.sh+1−1
@@ -35,6 +35,6 @@ echo "$SSH_SEC_KEY" >> "$sshpriv"
3535chmod 600 $sshpub
3636chmod 600 $sshpriv
3737
38−ssh kaladin@urbit.hmiller.dev 'bash -s' < "$cmdfile" -i "$sshpriv" -o "StrictHostKeyChecking=no"
38+ssh -o StrictHostKeyChecking=no -o LogLevel=quiet -o UserKnownHostsFile=/dev/null -i "$sshpriv" kaladin@urbit.hmiller.dev 'bash -s' < "$cmdfile"
3939
4040echo "OTA performed for $desk on $ship"