Re: read alternative .jedrc?

[Philipp Grau <phgrau@xxxxxxxxxxxxxxxxxx>]

Hello, 

* Michael Stillwell <ithinkihaveacat@xxxxxxxxx> [19.02.05 00:16]:
> Is there any way to get jed to read from an alternative .jedrc?  (As
> distinct from the different settings you get by setting JED_ROOT?)

something like jed -a some/other/.jedrc should work.

Philipp

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