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
pgpXifRp_jqZp.pgp
Description: PGP signature
