Bug#728480: ipe: calls gedit (hard-coded choice of text editor?)

[Francesco Poli]

On Thu, 07 Nov 2013 21:28:18 -0600 Steve M. Robbins wrote:

> On November 6, 2013 09:59:53 PM Francesco Poli wrote:
> 
> > $ alias ipe="EDITOR='uxterm -e vim' ipe"
> > 
> > but this does not seem to be too clean...   :-(
> 
> 
> > Any suggestions?
> 
> The alias.

I was not satisfied with the alias strategy, hence I investigated
further. Here's what I found out.

First of all, I confirm that there's a hard-coded choice of default
text editor set to gedit:

$ grep gedit /usr/share/ipe/7.1.4/lua/prefs.lua
  prefs.external_editor = "gedit %s"

I still think that this should be generalized.
At least, as a Debian-specific patch that changes that line into

  prefs.external_editor = "x-terminal-emulator -e editor %s"

or something very similar, in order to follow the system-wide default
choices for the terminal emulator and the text editor.

Secondly, according to /usr/share/ipe/7.1.4/doc/manual_40.html ,
I can customize the behavior of ipe through an appropriate ipelet.
I tried the following:

$ mkdir -p ~/.ipe/ipelets
$ echo 'prefs.external_editor = "uxterm -e vim %s"' \ 
  >> ~/.ipe/ipelets/customize.lua

It seems to work: when ipe is started, it automatically executes this
ipelet and "learns" my preferences with respect to the external
editor!



-- 
 http://www.inventati.org/frx/frx-gpg-key-transition-2010.txt
 New GnuPG key, see the transition document!
..................................................... Francesco Poli .
 GnuPG key fpr == CA01 1147 9CD2 EFDF FB82  3925 3E1C 27E1 1F69 BFFE
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 836 bytes
Desc: not available
URL: <http://lists.alioth.debian.org/pipermail/debian-science-maintainers/attachments/20131121/124167e3/attachment-0001.sig>