iankelling.org Git - distro-setup/blob - rew

   1 #!/bin/bash
   2
   3 set -eE -o pipefail
   4 trap 'echo "$0:$LINENO:error: \"$BASH_COMMAND\" returned $?" >&2' ERR
   5
   6 # using the rust version now, not sure the equivalent
   7 # p="$(lsof -i tcp:31416 -Fp -a -c java | sed -rn 's/^p//p')" ||:
   8 # if [[ $p ]]; then
   9 #     kill $p
  10 # fi
  11
  12 # so we don't hold open the /a fs
  13 sudo rsync -r --delete /a/opt/gnirehtet-rust-linux64 /opt
  14 cd /opt/gnirehtet-rust-linux64
  15
  16 # just running it in foreground so it's easier to kill etc.
  17 ./gnirehtet run
  18
  19
  20 # note, to kill it, you need to also kill
  21 # lsof -i tcp:31416
  22 # and maybe unplug adb cable
  23 # note, ping results in log message: dropping invalid packet
  24
  25
  26 #./gnirehtet rt &>/tmp/rt &
  27
  28 #tail -F /tmp/rt ||: