Re: how to load a list of files into jed at startup

["John E. Davis" <davis@xxxxxxxxxxxxx>]

Dave Kuhlman <dkuhlman@xxxxxxxxxxxxxxx> wrote:
>    $ find * \( -iname '*.py' -o -iname '*.pt' \) | xargs jed

I use something like:

  find . -name '*.py' -o -name '*.pt' -print | jed --stdin-files

where my .jedrc file contains:

define stdin_files ()
{
   variable file;
   
   !if (bufferp ("*stdin*"))
     return;
   
   setbuf ("*stdin*");
   bob ();
   
   do
     {
	file = line_as_string ();
	if (strlen (file))
	  {
	     () = find_file (file);
	     setbuf ("*stdin*");
	  }
     }
   while (down_1 ());
}

--John

--------------------------
To unsubscribe send email to <jed-users-request@xxxxxxxxxxx> with
the word "unsubscribe" in the message body.
Need help? Email <jed-users-owner@xxxxxxxxxxx>.