Thanks. Weird, but you're right. What surprises me is the fact that,
in the first place, I got my broken profile out of asking Jedi to
create myself a new profile, inadvertently specifying the same name as
the old one's. So it looks like when one asks Jedi to create a new
profile, it silently reuses any already existing profile that bears
the specified name. (One would expect it to refuse to do such a thing,
or delete the old profile before recreating it.)
On Jul 14, 6:34 pm, Guillaume Cartier <
gcart...@jazzscheme.org> wrote:
> Those changes where done a long time ago so I suspect you had Jazz
> installed a while ago and this would be a problem with your existing
> user profiles.
>
> What happens is that user profiles (packages of the kind
> profile.guillaume located in $HOME/jazz_user/lib) are really
> templates. They are copied into your jazz_user so you can then modify
> them as you which. If changes are later done to the system like in
> this case R4RSTest was removed and jazz.development was renamed to
> jedi.development, your profiles can actually break.
>
> To fix the problems, just create a new profile and then compare its
> directory content (you can use Jedi's Compare Directories tool) to
> your broken one. This should help you find out what changed that is
> creating problems.
>
> Guillaume
>