delete of directory command - - -noob--

All, in my script I create a directory

'file mkdir $a_arg/tmp/matching_files_found'

towards the end of the code I want to delete/flush this directory.

clearly I found the mkdir command. But cant see a rmdir style one.

Have tried,

file delete ?-force? $a_arg/matching_files_found

with mixed results - seemed to work for a while then the directory
didnt delete after a while, could be me tho I guess.
Takers>?

On Feb 10, 7:59*am, bigbloke <s.mcc...@ntlworld.com> wrote:
>
> file delete ?-force? $a_arg/matching_files_found
>
> with mixed results - seemed to work for a while then the directory
> didnt delete after a while, could be me tho I guess.
>

I use file delete -force to accomplish this task. The docs say: "Non-
empty directories will be removed only if the -force option is
specified". I have not had an issue. Now, it will NOT remove the
directory if it's in use and that can be as simple as being in the
directory in a shell or have an open file somewhere under the
directory. Are you sure that's not what was going on when you
experienced your error?

Jeremy

On Feb 10, 4:59*am, bigbloke <s.mcc...@ntlworld.com> wrote:

> file delete ?-force? $a_arg/matching_files_found

Did you try it like that, with the question marks???
They just indicate that -force is an optional parameter,
which you do want to use.