From 3f437c0f6c11356451d5d739875eee2d4603d7ca Mon Sep 17 00:00:00 2001
From: Ian Kelling <iank@fsf.org>
Date: Mon, 22 Jan 2018 20:48:52 -0500
Subject: [PATCH] minor improvements

---
 .gitignore                                        |  1 +
 distro-end                                        |  1 -
 rew                                               | 15 ++++++++-------
 .../.local/share/konsole/profileian.profile       |  3 +++
 4 files changed, 12 insertions(+), 8 deletions(-)

diff --git a/.gitignore b/.gitignore
index d52d4c6..c9344e7 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,4 @@
 /t.org
 /old-unused
 /.emacs.d
+/Arduino
diff --git a/distro-end b/distro-end
index 96fd07b..81174b4 100755
--- a/distro-end
+++ b/distro-end
@@ -1708,7 +1708,6 @@ case $distro in
         sudo usermod -a -G uucp $USER
         ;;
 esac
-lnf -T /a/opt/sketches ~/Arduino
 
 # this is for the mail command too. update-alternatives is kind of misleading
 # since at least it's main commands pretend mail does not exist.
diff --git a/rew b/rew
index 2ce3a66..f73b526 100755
--- a/rew
+++ b/rew
@@ -3,17 +3,18 @@
 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
-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.
-./gnirehtet rt
+./gnirehtet run
 
 
 # note, to kill it, you need to also kill
diff --git a/subdir_files/.local/share/konsole/profileian.profile b/subdir_files/.local/share/konsole/profileian.profile
index d000a1e..71371b5 100644
--- a/subdir_files/.local/share/konsole/profileian.profile
+++ b/subdir_files/.local/share/konsole/profileian.profile
@@ -10,3 +10,6 @@ RemoteTabTitleFormat=%w
 
 [Keyboard]
 KeyBindings=default
+
+[Scrolling]
+HistorySize=100000
-- 
2.30.2