utilities: Add in a couple of useful utils
This adds push.sh, which will check for a deb with a basename in your
$PRODUCT_OUT/packages directory, copy it to the board, install it and
its dependencies.
It also adds shell.sh which functions the same as push.sh, except it
drops you to a shell.
Both of these are special since they elide host key verification.
Change-Id: I16a8df00977b5249a7c391f7e33fd81805f9cb62
diff --git a/push.sh b/push.sh
new file mode 100755
index 0000000..242e85d
--- /dev/null
+++ b/push.sh
@@ -0,0 +1,19 @@
+#!/bin/bash -e
+
+orig_package="$1"
+
+package=$orig_package
+if [[ ! -f $package ]]; then
+ package=$(echo $PRODUCT_OUT/packages/$package*.deb)
+
+ if [[ ! -f $package ]]; then
+ echo "push: no such package $package"
+ exit 1
+ fi
+fi
+
+filename="$(basename ${package})"
+
+scp -oUserKnownHostsFile=/dev/null -oStrictHostKeyChecking=no -C "${package}" aiy@192.168.100.2:/tmp
+ssh -oUserKnownHostsFile=/dev/null -oStrictHostKeyChecking=no -Ct aiy@192.168.100.2 sudo dpkg -i "/tmp/${filename}"
+ssh -oUserKnownHostsFile=/dev/null -oStrictHostKeyChecking=no -Ct aiy@192.168.100.2 sudo apt-get -f -y install
diff --git a/shell.sh b/shell.sh
new file mode 100755
index 0000000..2b63d5e
--- /dev/null
+++ b/shell.sh
@@ -0,0 +1,3 @@
+#!/bin/bash
+
+ssh -oUserKnownHostsFile=/dev/null -oStrictHostKeyChecking=no -Ct aiy@192.168.100.2
