maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

Re: [Maude-help] System calls from Maude

From: Steven Eker <eker AT csl.sri.com>
To: maude-help AT cs.uiuc.edu
Subject: Re: [Maude-help] System calls from Maude
Date: Mon, 20 Jan 2014 11:24:12 -0800
List-archive: <http://lists.cs.uiuc.edu/pipermail/maude-help/>
List-id: <maude-help.cs.uiuc.edu>

Maude's top level is not a general purpose shell - only a handful of useful commands are implemented.

Steven

On 1/18/14 9:54 AM, Alain Giorgetti wrote:

Dear all,

is there any way to do system calls from Maude, beyond the
commands pwd, ls, cd, pushd, popd, in, load, eof and quit
listed in Section 18.14 of the Maude manual, for instance some
destructive 'rm -rf'?

Many thanks for your help!

Alain

_______________________________________________
Maude-help mailing list
Maude-help AT cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/maude-help

[Maude-help] System calls from Maude, Alain Giorgetti, 01/18/2014
- Re: [Maude-help] System calls from Maude, Steven Eker, 01/20/2014
  - Re: [Maude-help] System calls from Maude, Vladimir Klebanov, 01/20/2014