Menu

#5396 GUB: lilypond-invoke-editor runs twice

Fixed
None
push
Enhancement
2018-10-12
2018-08-03
No

https://lists.gnu.org/archive/html/bug-lilypond/2018-08/msg00000.html

After installation, there are two lilypond-invoke-editor files:

/usr/local/bin/lilypond-invoke-editor
/usr/local/lilypond/usr/bin/lilypond-invoke-editor

The first is a simple script that sets some environment and invokes the LilyPond version of Guile with the second file, which is the actual Scheme program. The script uses the -e main option which causes Guile to invoke the named function; however, there is already an explicit invocation of main at the end of the Scheme program. This results in the functionality running twice.

I suppose that, depending on how you have your EDITOR or LYEDITOR variables configured, you might not notice a double launch; but I was certainly confused at first why I was getting repeated behavior.

Discussion

  • Federico Bruni

    Federico Bruni - 2018-08-03
    • labels: --> GUB
     
  • Federico Bruni

    Federico Bruni - 2018-08-03

    I added the GUB label, since this is a GUB issue, if we want to remove -e main from the wrapper file, which is set here:

    https://github.com/gperciva/gub/blob/master/sourcefiles/lilypond-sharhead.sh#L228

    ${callmain} should be removed, I guess.

     
  • Federico Bruni

    Federico Bruni - 2018-08-27

    If you read the shell script, you'll see that ${callmain} is empty for all python files and expands to -e main only for guile scripts, which is only lilypond-invoke-editor. Removing it seems safe.

     
  • Federico Bruni

    Federico Bruni - 2018-10-08
     
  • Anonymous

    Anonymous - 2018-10-09
    • summary: lilypond-invoke-editor runs twice --> GUB: lilypond-invoke-editor runs twice
    • assigned_to: Federico Bruni
    • Needs: -->
    • Patch: new --> review
    • Type: -->
     
  • Anonymous

    Anonymous - 2018-10-09

    I cannot test this in the normal way. Putting his on Review hoping others with more knowledge are OK with this.

     
  • Anonymous

    Anonymous - 2018-10-12
    • Patch: review --> push
    • Type: --> Enhancement
     
  • Anonymous

    Anonymous - 2018-10-12

    Looks like this has been merged.

     
  • Phil Holmes

    Phil Holmes - 2018-10-12
    • status: Started --> Fixed
     
  • Phil Holmes

    Phil Holmes - 2018-10-12

    Should have been fixed with my merge today.

     
MongoDB Logo MongoDB