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

[mgp-users 00904] Re: filter, system, xsystem



On Sat, 25 May 2002 11:12:47 +0200
Stefano Zacchiroli <zack@cs.unibo.it> wrote:

> Hi all,
>   I'm new to MagicPoint and I'm experiencing problems using the above
> reported commands. [ I'm using mgp 1.09a on a debian sid on a i386 ].
> 
On Debian you need to use the command line option -U (unsecure) because
the mgp version shipped with Debian is "secure" by default.

Christoph Dalitz