[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: files.el: Once again impossible to turn off dir-settings
From: |
Stefan Monnier |
Subject: |
Re: files.el: Once again impossible to turn off dir-settings |
Date: |
Tue, 25 Nov 2008 16:48:53 -0500 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/23.0.60 (gnu/linux) |
> The slowness --- at least as I observe at my end, has not been
> fixed.
> In the caase of vc-backends, I'm able to avoid global crawls
> across NFS filesystems by setting
> ;;; vc speed up:
> (setq vc-ignore-dir-regexp
> "\\`\\([\\/][\\/]\\|/net/\\|/home/\\|/afs/\\)\\'")
> Notice the addition of /home above -- in my case /home is nfs
> mounted.
NFS mounting as such is normally not a problem. So could you explain
exactly how is /home mounted? Is it an autofs mount? Do accesses to
/home/foobar automatically trigger access to some network server (even
if /home/foobar doesn't actually exist)?
> I strongly urge you to reconsider forcing all users to take the
> hit of searching for project settings.
> For now, I've defadviced hack-dir-local-variables like so:
> (defadvice hack-dir-local-variables (around fix-slowness pre act comp)
> "Restore democracy, restore speed"
> nil)
There's locate-dominating-stop-dir-regexp (which will apply both to VC
and to dir-settings).
Stefan
- files.el: Once again impossible to turn off dir-settings, T.V. Raman, 2008/11/25
- Re: files.el: Once again impossible to turn off dir-settings, Stefan Monnier, 2008/11/25
- files.el: Once again impossible to turn off dir-settings, T.V. Raman, 2008/11/25
- Re: files.el: Once again impossible to turn off dir-settings,
Stefan Monnier <=
- Re: files.el: Once again impossible to turn off dir-settings, Chong Yidong, 2008/11/25
- Re: files.el: Once again impossible to turn off dir-settings, Stefan Monnier, 2008/11/25
- files.el: Once again impossible to turn off dir-settings, T.V. Raman, 2008/11/25
- Re: files.el: Once again impossible to turn off dir-settings, Stefan Monnier, 2008/11/26
- Re: files.el: Once again impossible to turn off dir-settings, Miles Bader, 2008/11/28
- Re: files.el: Once again impossible to turn off dir-settings, Juri Linkov, 2008/11/25