various fixes

diff --git a/demohost-mount b/demohost-mount
index 6445187dc16d5288d1c4d414a566f2c6e4f728f8..8dc062012b4cd45d63eb2c22563cb0c30c2d7a90 100755 (executable)
--- a/demohost-mount
+++ b/demohost-mount
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/bin/bash -l
 set -eE -o pipefail
 trap 'echo "$0:$LINENO:error: \"$BASH_COMMAND\" returned $?" >&2' ERR
 
@@ -9,11 +9,11 @@ trap 'echo "$0:$LINENO:error: \"$BASH_COMMAND\" returned $?" >&2' ERR
 
 
 ip=$(host demohost | sed -rn 's/^\S+ has address //p;T;q')/32
-cedit demohost /etc/exports <<EOF
+cedit demohost /etc/exports <<EOF || exportfs -ra
 /a $ip(async,rw,no_subtree_check,no_root_squash)
 /q $ip(async,rw,no_subtree_check,no_root_squash)
 EOF
-exportfs -ra
+
 
 ssh root@demohost bash -s <<'EOFOUTER'
 set -eE -o pipefail

diff --git a/distro-end b/distro-end
index b044f5c798fe549e0a4c31a07aad5899cebb3844..5a7dd9289a28cd8328b70f99f5a5894f31e8adec 100755 (executable)
--- a/distro-end
+++ b/distro-end
@@ -193,7 +193,7 @@ esac
 
 
 case $distro in
-    debian) pi curl;;
+    debian|trisquel|ubuntu) pi curl;;
     arch) : ;;
     # fedora: unknown
 esac
@@ -1344,7 +1344,7 @@ esac
 
 case $distro in
     debian)
-        pi task-cinnamon-desktop
+        pi task-mate-desktop
         # in settings, change scrolling to two-finger,
         # because the default edge scroll doesn\'t work.
         pu transmission-gtk

diff --git a/rew b/rew
index ee1aaf430ed703c8671d005aa6e55039c5632cdf..2ce3a665dba9a5496d888d676354845cd792fad8 100755 (executable)
--- a/rew
+++ b/rew
@@ -11,10 +11,17 @@ fi
 # so we don't hold open the /a fs
 sudo rsync -r --delete /a/opt/gnirehtet /opt
 cd /opt/gnirehtet
-./gnirehtet rt &>/tmp/rt &
+
+# just running it in foreground so it's easier to kill etc.
+./gnirehtet rt
+
+
 # note, to kill it, you need to also kill
 # lsof -i tcp:31416
 # and maybe unplug adb cable
 # note, ping results in log message: dropping invalid packet
 
-tail -F /tmp/rt ||:
+
+#./gnirehtet rt &>/tmp/rt &
+
+#tail -F /tmp/rt ||: