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 da3d295a8edf0ebfb0229bad5dcf0a990728c309..5c3c3367615b62e4308ec3da7f160bbe73d9d04c 100644 (file)
--- a/dot/shell-rc
+++ b/dot/shell-rc
@@ -329,7 +329,10 @@ 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