Back to Forum | View unanswered posts | View active topics





Post a reply
Username:
Note:If not registered, provide any username. For more comfort, register here.
Subject:
Message body:
Enter your message here, it may contain no more than 60000 characters. 

Smilies
:D :) :( :o :shock: :? 8) :lol: :x :P :oops: :cry: :evil: :twisted: :roll: :wink: :!: :?: :idea: :arrow: :| :mrgreen:
Font size:
Font colour
Options:
BBCode is ON
[img] is ON
[flash] is OFF
[url] is ON
Smilies are ON
Disable BBCode
Disable smilies
Do not automatically parse URLs
Confirmation of post
To prevent automated posts the board requires you to enter a confirmation code. The code is displayed in the image you should see below. If you are visually impaired or cannot otherwise read this code please contact the %sBoard Administrator%s.
Confirmation code:
Enter the code exactly as it appears. All letters are case insensitive, there is no zero.
   

Topic review - ESingular Ubuntu 20.04
Author Message
hannes
  Post subject:  Re: ESingular Ubuntu 20.04  Reply with quote
You can get .emacs-singular from
https://github.com/Singular/Singular/blob/spielwiese/emacs/.emacs-singular
Post Posted: Thu Feb 04, 2021 1:02 pm
Diego
  Post subject:  ESingular Ubuntu 20.04  Reply with quote
Dear Singular team,

I have installed Singular on a machine running Ubuntu Server 20.04 using the Ubuntu repository (apt-get install singular that installs Singular 4.1.1).

Singular works fine but ESingular does not work, I get the following error:
$ ESingular
Error: Can't find emacs load file for Singular mode.
Expected it at /bin/../share/singular/emacs/.emacs-singular
Specify with --emacs_load option,
or set ESINGULAR_EMACS_LOAD environment variable,
or put file '.emacs-singular' in your home directory.
Use `ESingular --help' for a complete list of options

I have tried to locate the file '.emacs-singular' but it seems that this file is not on my computer.

I do have emacs installed (build 2, x86_64-pc-linux-gnu, GTK+ Version 3.24.14)

Thanks for the help.
Post Posted: Tue Feb 02, 2021 2:05 am


It is currently Fri May 13, 2022 10:54 am
cron
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group