Various fixes

2023-06-14 23:57:26 +02:00
parent 3769192fec
commit 29415f77d9
4 changed files with 6 additions and 5 deletions
--- a/scripts/.common
+++ b/scripts/.common
@ -13,6 +13,10 @@ perror() {
  exit 1
 }

+sshcmd() {
+  ssh -o StrictHostKeyChecking=no $*
+}
+
 dls() {
  path=$1
  shift