Emacs interface screenshots
Setting up CoCoA and Emacs:
ALL DONE!! info & screenshots
- Step 0:
- check if you have Emacs on your computer.
If not, install it using your Linux package manager.
- Step 1:
Execute the ConfigureEmacs.sh script in
the CoCoA-5/emacs/ directory
in either way (it's very very fast!!):
- type in a shell ./ConfigEmacs.sh
- or double-click on
the icon of ConfigEmacs.sh
Setting up Emacs for Emacs experts:
the script above adds a few lines at the end of your .emacs
(creating it if necessary).
If you have already defined your own favourite Emacs options/colours/..
you might prefer to pick and copy from cocoa-5.2/emacs/cocoa.emacs
into your .emacs
only the settings you desire.