chiark / gitweb /
bin/disorder-notify: Rewrite and take over the functionality of `media-keys'.
[profile] / bin / mdw-pager
index cd5947628235ffd890569139a28b5929db889b57..c059ba7395546abb71da212b35060f60029c8893 100755 (executable)
@@ -4,7 +4,9 @@ set -e
 pager=${MDW_PAGER-less}
 [ -t 1 ] || TERM=dumb
 case "$PAGER,$TERM" in
-  mdw-pager,dumb) pager=cat;;
+  mdw-pager,dumb | \
+    mdw-pager,emacs | mdw-pager,emacs-grep)
+    pager=cat;;
   mdw-pager,*);;
   *,*) pager=$PAGER;;
 esac