minor improvements

diff --git a/.gitignore b/.gitignore
index d52d4c66d7fbe965f8ef4fbee8734f28fb7d3b7a..c9344e7767c1b5d0f4a089e1eb4b8fbbb4da301f 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,4 @@
 /t.org
 /old-unused
 /.emacs.d
+/Arduino

diff --git a/distro-end b/distro-end
index 96fd07b58c83b9a4b2785d90776e14685295561b..81174b466a42b8e79f84b5116d2c85fbe94641d8 100755 (executable)
--- 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 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
 
-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 d000a1e72e45eb9289c0559c435e91bc41030894..71371b57b291d14f35ad8bb20d9272adee9df8b4 100644 (file)
--- 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