Hi, On Sat, Nov 29, 2008 at 21:39:08 -0500, Norman Ramsey wrote: > Absolutely not. Why should I interrupt a nice sensible command-line > workflow to edit a boring file? You're talking not only about > expanding a 1-second task to *at* *least* 10 seconds or more just to > fire up the editor and fool around, but you're also imposing on me the > additional cognitive burden of translating a file name to a regular > expression matching that file name and *only* that file name (God help > me should I forget to escape a dot). I understand the power of regexps > for detecting boringness, but there's a reason the shell uses globbing > patterns and not regexps. For the human interface, regexps are a tool > of the devil.
I understand the workflow argument, thanks for that! We tend to resist adding new commands and switches to darcs itself (which is not to say that we never do it, just that we try to see how reasonable it is to try and get away without it whenever possible). So if we could work out a reasonable way for you to turn this into a third party script, would that be good enough? I realise this imposes an overhead of its own -- having to remember an assortment of darcs scripts instead of having everything nicely under the darcs umbrella. I think other projects have addressed this inherent tension between wanting to keep the core project small and meeting everybody's needs by introducing some kind of plugin mechanism. If somebody were to propose a viable mechanism for darcs, I would be quite interested. CC'ing Don. > > You can edit _darcs/prefs/boring or perhaps write a script to do > > that for you. > > I can't write a reliable script because darcs has no 'getpref' so I > can't easily discover the identity of the boringfile my script should > be editing. Does darcs show repo | grep boringfile help? -- Eric Kow <http://www.nltg.brighton.ac.uk/home/Eric.Kow> PGP Key ID: 08AC04F9
pgpmwIknT8Ek3.pgp
Description: PGP signature
_______________________________________________ darcs-users mailing list [email protected] http://lists.osuosl.org/mailman/listinfo/darcs-users
