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