Re: Another distro fix request, ispell/aspell/hunspell/...

["Tom Culliton" <culliton@xxxxxx>]

Well I generally edit the command in the ispell.sl (as root if necessary)
but it's one of those things that always seems to come up at some
inconvenient moment.  While doing this for a recent Fedora 10 install it
struck me that it should be simple enough (maybe a dozen lines of slang)
to make it a bit more automatic in the core.  Something like (faux-slang -
meaning I didn't check the exact function names or command line args):

% Prefer value set by user
if (!var_exists("spell_cmd"))
{
  if (path_find("ispell"))
    custom_variable("spell_cmd", "ispell -a");
  else if (path_find("aspell"))
    custom_variable("spell_cmd", "aspell -a");
  else if (path_find("hunspell"))
    custom_variable("spell_cmd", "hunspell -a");
}


I thought about using foreach and a list, but that did allow for possible
command line option variations.

> Hello Tom,
>
> "Tom Culliton" <culliton@xxxxxx> wrote:
>> One of the constant minor annoyances with Linux distros is the way they
>> switch preferred packages, sometimes seemingly at random.  For jed this
>> means that ispell often isn't available, although there is generally
>> some
>> fairly compatible replacement (e.g. first "aspell", and now "hunspell"
>> in
>> Fedora).
>>
>> Would it be possible to make ispell.sl either adaptive (knowing some
>> list
>> of common spell checking packages) and/or provide an escape mechanism
>> (say
>> an ispell_cmd variable, rather like what compile mode does) to allow
>> users
>> or distro package maintainers to override the built in default?
>
> What about:
>
> % ls -l $(which ispell)
> lrwxrwxrwx 1 joerg users 15  9. Feb 14:58 /home/joerg/bin/ispell ->
> /usr/bin/aspell
>
> Bye, Jörg.
> --
> â??Politics is for the moment, equations are foreverâ??
>             (Albert Einstein)
>
> --------------------------
> To unsubscribe send email to <jed-users-request@xxxxxxxxxxx> with
> the word "unsubscribe" in the message body.
> Need help? Email <jed-users-owner@xxxxxxxxxxx>.
>



--------------------------
To unsubscribe send email to <jed-users-request@xxxxxxxxxxx> with
the word "unsubscribe" in the message body.
Need help? Email <jed-users-owner@xxxxxxxxxxx>.