From: David Kastrup <dak@gnu.org>
To: emacs-devel@gnu.org
Subject: Re: Emacs inotify support?
Date: Sun, 13 Sep 2009 11:33:53 +0200 [thread overview]
Message-ID: <871vmb89z2.fsf@lola.goethe.zz> (raw)
In-Reply-To: 87y6ojr341.fsf@catnip.gol.com
[-- Attachment #1: Type: text/plain, Size: 915 bytes --]
Miles Bader <miles@gnu.org> writes:
> Richard Stallman <rms@gnu.org> writes:
>> Ideal case : emacs would monitor every file
>> used by buffers, and notify of changes with the current dialog (continue,
>> refresh, etc) in visible buffers.
>>
>> To have the capability to watch a file for changes would be useful.
>> To do this by default for all visited files could be more of a pain in
>> the neck than a convenience.
>
> I was thinking such a feature could be used simply to optimize
> `auto-revert-mode' and `global-auto-revert-mode'.
>
> Whether it's worth it, I don't know. Is the cost of the current
> implementation of global-auto-revert-mode high enough to be a problem,
> or the granularity too coarse?
>
> [I guess it's actually quite system-dependent]
I use the following "executable" for paging output for applications
called from within Emacs, and it _is_ jerkier than really desirable.
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: emacs-pager --]
[-- Type: text/x-sh, Size: 264 bytes --]
#!/bin/sh
TMP=`mktemp -t emacs-pager.XXXXXX`
trap "rm $TMP* 2>/dev/null" 0
echo '-*- mode: view; auto-revert-interval: 1; mode: auto-revert-tail; view-exit-action: kill-buffer -*-' >"$TMP"
exec 5<&0 <&-
cat "$@" <&5 >>"$TMP" &
eval "${VISUAL:-${EDITOR}}" '"$TMP"'
[-- Attachment #3: Type: text/plain, Size: 20 bytes --]
--
David Kastrup
next prev parent reply other threads:[~2009-09-13 9:33 UTC|newest]
Thread overview: 36+ messages / expand[flat|nested] mbox.gz Atom feed top
2009-09-11 20:34 Emacs inotify support? joakim
2009-09-11 21:28 ` Lennart Borgman
2009-09-11 22:54 ` Antoine Levitt
2009-09-11 23:00 ` Lennart Borgman
2009-09-12 13:32 ` Eli Zaretskii
2009-09-12 16:36 ` Antoine Levitt
2009-09-12 16:55 ` Eli Zaretskii
2009-09-12 17:26 ` Antoine Levitt
2009-09-12 19:45 ` Eli Zaretskii
2009-09-12 20:04 ` Antoine Levitt
2009-09-12 21:24 ` Giuseppe Scrivano
2009-09-13 16:39 ` Richard Stallman
2009-09-13 17:28 ` joakim
2009-09-13 19:42 ` Eli Zaretskii
2009-09-13 22:28 ` Lennart Borgman
2009-09-14 5:47 ` joakim
2009-09-14 18:08 ` Eli Zaretskii
2009-09-12 16:46 ` Richard Stallman
2009-09-13 2:27 ` Miles Bader
2009-09-13 9:33 ` David Kastrup [this message]
2009-09-12 16:46 ` Richard Stallman
2009-09-14 7:39 ` Paul R
2009-09-15 7:17 ` Richard Stallman
2009-09-17 15:12 ` Juri Linkov
2009-09-18 9:49 ` Richard Stallman
2009-09-18 12:10 ` David Kastrup
2009-09-18 17:14 ` Stefan Monnier
2009-09-18 18:38 ` joakim
2009-09-21 21:45 ` Dired auto-revert (was: Emacs inotify support?) Juri Linkov
2009-09-21 22:29 ` Drew Adams
2009-09-23 9:05 ` Dired auto-revert Juri Linkov
2009-12-04 0:11 ` Proced revert (Re: Dired auto-revert) Juri Linkov
2009-12-04 2:17 ` Stefan Monnier
2009-12-04 22:21 ` Roland Winkler
2009-12-04 0:09 ` Dired auto-revert Juri Linkov
2009-12-04 2:15 ` Stefan Monnier
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=871vmb89z2.fsf@lola.goethe.zz \
--to=dak@gnu.org \
--cc=emacs-devel@gnu.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
Code repositories for project(s) associated with this external index
https://git.savannah.gnu.org/cgit/emacs.git
https://git.savannah.gnu.org/cgit/emacs/org-mode.git
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.