[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Octave-bug-tracker] [bug #40600] edit: changing EDITOR after first call
From: |
Carnë Draug |
Subject: |
[Octave-bug-tracker] [bug #40600] edit: changing EDITOR after first call to edit() has no effect |
Date: |
Sun, 24 Nov 2013 03:31:29 +0000 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:17.0) Gecko/20131030 Firefox/17.0 Iceweasel/17.0.10 |
Follow-up Comment #14, bug #40600 (project octave):
ok. I pushed that change. However, as discussed on IRC, this means dropping
support for fancy things with the value of editor (such as gnudoit -q
"(find-file \"%s\")" ).
For reference, in case someone wants to work on it, I have attached an
alternative patch that makes things more complicated but should allow for all
cases.
(file #29696)
_______________________________________________________
Additional Item Attachment:
File name: fancy-editor.patch Size:7 KB
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/bugs/?40600>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/
- [Octave-bug-tracker] [bug #40600] edit: changing EDITOR after first call to edit() has no effect, (continued)
- [Octave-bug-tracker] [bug #40600] edit: changing EDITOR after first call to edit() has no effect, Carnë Draug, 2013/11/23
- [Octave-bug-tracker] [bug #40600] edit: changing EDITOR after first call to edit() has no effect, Carnë Draug, 2013/11/23
- [Octave-bug-tracker] [bug #40600] edit: changing EDITOR after first call to edit() has no effect, Mike Miller, 2013/11/23
- [Octave-bug-tracker] [bug #40600] edit: changing EDITOR after first call to edit() has no effect, Torsten, 2013/11/23
- [Octave-bug-tracker] [bug #40600] edit: changing EDITOR after first call to edit() has no effect, Carnë Draug, 2013/11/23
- [Octave-bug-tracker] [bug #40600] edit: changing EDITOR after first call to edit() has no effect, Mike Miller, 2013/11/23
- [Octave-bug-tracker] [bug #40600] edit: changing EDITOR after first call to edit() has no effect, Torsten, 2013/11/23
- [Octave-bug-tracker] [bug #40600] edit: changing EDITOR after first call to edit() has no effect, Carnë Draug, 2013/11/23
- [Octave-bug-tracker] [bug #40600] edit: changing EDITOR after first call to edit() has no effect, Mike Miller, 2013/11/23
- [Octave-bug-tracker] [bug #40600] edit: changing EDITOR after first call to edit() has no effect, Mike Miller, 2013/11/23
- [Octave-bug-tracker] [bug #40600] edit: changing EDITOR after first call to edit() has no effect,
Carnë Draug <=