Re: [Jed-users-l] JED configuration

[Jörg Sommer <joerg@xxxxxxxxxxxx>]

Henry Harpending <harpend@xxxxxxxxx> wrote:
> On Dec 24, 2010, at 5:07 AM, Daniel Carrera wrote:
>
>> I am a new JED user. I'm running Jed on Ubuntu and I need help configuring JED:
>> 
>> 1) How do I set indentation to 4 spaces instead of 2?
>> 
>> 2) How do I get the mouse to work with the GPM package? I already have
>> GPM installed, but I don't know what to do next.
>> 
>> Thanks for the help.
>> 
>> Daniel.
>> -- 
>
> As it comes with Ubuntu xjed is pretty ugly, but following a hint in the doc directory I put the following in /usr/local/bin as 'j' and made it executable:
>
> xjed -fn mono -fs 14 $* &

Which document suggests this command? $* is wrong. It has to be "$@".

Bye, Jörg.
-- 
Macht besitzen und nicht ausüben ist wahre Größe.
                                                   (Friedl Beutelrock)
_______________________________________________
Jed-users-l mailing list
Jed-users-l@xxxxxxxx
http://mailman.jtan.com/mailman/listinfo/jed-users-l