iankelling.org
/
git
/
distro-setup
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
fixes
[distro-setup]
/
rew
diff --git
a/rew
b/rew
index 2ce3a665dba9a5496d888d676354845cd792fad8..f73b526c7734d8a41423755a4ebb64d2213ca502 100755
(executable)
--- a/
rew
+++ b/
rew
@@
-3,17
+3,18
@@
set -eE -o pipefail
trap 'echo "$0:$LINENO:error: \"$BASH_COMMAND\" returned $?" >&2' ERR
set -eE -o pipefail
trap 'echo "$0:$LINENO:error: \"$BASH_COMMAND\" returned $?" >&2' ERR
-p="$(lsof -i tcp:31416 -Fp -a -c java | sed -rn 's/^p//p')" ||:
-if [[ $p ]]; then
- kill $p
-fi
+# using the rust version now, not sure the equivalent
+# p="$(lsof -i tcp:31416 -Fp -a -c java | sed -rn 's/^p//p')" ||:
+# if [[ $p ]]; then
+# kill $p
+# fi
# so we don't hold open the /a fs
# so we don't hold open the /a fs
-sudo rsync -r --delete /a/opt/gnirehtet /opt
-cd /opt/gnirehtet
+sudo rsync -r --delete /a/opt/gnirehtet
-rust-linux64
/opt
+cd /opt/gnirehtet
-rust-linux64
# just running it in foreground so it's easier to kill etc.
# just running it in foreground so it's easier to kill etc.
-./gnirehtet r
t
+./gnirehtet r
un
# note, to kill it, you need to also kill
# note, to kill it, you need to also kill