Xavier-François Roblot on Mon, 17 Nov 2003 14:36:32 +0100

[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]

Re: user install

On Mon, 2003-11-17 at 11:55, Karim BELABAS wrote:

> Can't reproduce this.
> 1) Try 'gp -f' first.
> 2) Do you by any chance have a /etc/gprc or $HOME/.gprc somehow interfering with the
> default settings [ exact location of that file is the first line printed on startup ].

Well, there was indeed something wrong with my configuration: a link
pointing where it should not. Anyway, even with that fix, I can't get it
to work:

? ??bnrinit
/doc not found at /home/roblot/pari/installed/bin/gphelp line 146.