New Features of Eli4.0
Invocation of Eli
Eli is built on top of the Odin-System. Up to Version 3.8.3 of the Eli-System, an Odin-Version was integrated in the Eli-System. With the years passing, this odin-system was debugged and adapted to the Eli-System thus making it difficult to integrate new Odin-Versions developed by the author. While Odin is still distributed with Eli, the directories for the two are now completely separated. Eli is actually a set of Odin packages.
What does this mean for the Eli-User?
While an `eli' invocation script is still provided, all it does is
to set an Odin environment variable,
In order to start using Eli, you should set up your account with a few environment-variable settings. First, you must enter the Path to the Odin-System into your Environment-variable `PATH'. Since the exact commandline differs in different shells, the following example is valid for usage in `csh'-compatible shells:
setenv PATH /usr/local/eli/Odin/bin:$PATH setenv MANPATH /usr/local/eli/Odin/man:$MANPATH
If you wish to use the `odin' script directly, rather than using the
`eli' script, you will have to set the
setenv ODINPATH /usr/local/eli/ELI4.0
By default, Odin maintains a cache directory `.ODIN' in your home-directory. If you dislike this, you can supply a new definition in the environment-variable `ODINCACHE'.
Note that with this new version of Odin you can specify Odin requests to execute on the command-line. Odin will execute the requests and return to the shell. If you do not provide any command-line requests, Odin will come up interactively, which looks like this:
Eli Version 4.0 (? for help, ^D to exit) (local) ->
In this section, only the main differences between the usage of the
Odin-System and the Eli-System up to Version 3.8.3 will be pointed out. For a
more complete introduction, please refer to Overview of Eli User Interface Reference Manual.
An Odin command that simply specifies an object makes sure that this object
is up to date. Up to version 3.8.3 of Eli, such an object was immediately
displayed on the Terminal. This is no longer the case. For example, the
To display an object, append a
x.specs+arg=(i):run # Make up-to-date x.specs:parsable< # To your editor x.specs> # To standard output x.specs:exe>x.exe # To file x.exe x.specs:source>src # To directory src x.specs:absyntax!more # Start 'more' with product
If an object is executable (e.g. the derivation to `:help'
yields an executable object), this object is immediately executed upon deriving it. So a
Another change in the user interface is, that the history mechanism has been dropped. Instead, you can browse in older commandlines using the arrow-keys of your keyboard, See User Interface of Quick Reference for Eli 4.0, for further information.
Changed names for derived objects
In the following, you will see a list with the names of legal derivations for Eli Version 3.8.3. After each derivation, a Eli4.0 substitute will be mentioned. Derivations that have not changed will not be mentioned here.