dot/gtk3-settings.ini: Inhibit ridiculous fine-tuning scrollbar behaviour.

[profile] / dot / shell-rc

diff --git a/dot/shell-rc b/dot/shell-rc
index e990339d09c9217e760216e63eb99c8da4fc45e8..5c3c3367615b62e4308ec3da7f160bbe73d9d04c 100644 (file)
--- a/dot/shell-rc
+++ b/dot/shell-rc
@@ -324,9 +324,15 @@ pathhack () {
 ###--------------------------------------------------------------------------
 ### Finishing touches.
 
+## Make sure `$HOME/bin' is on the path.
+path_add "$HOME/bin"
+
 ## Set the temporary directory again.  (A setuid or setgid program may have
 ## unhelpfully forgotten this for us.)
-case ${TMPDIR+t} in t) ;; *) eval $(tmpdir -b); esac
+case ${TMPDIR+t} in
+  t) ;;
+  *) if __mdw_programp tmpdir; then eval $(tmpdir -b); fi ;;
+esac
 
 ## For `root' use -- some simple molly-guards.
 case $(id -u) in