Deleting a File from the Repository
You can delete a file from the repository once you are done with it, but only if no batch is referencing it. If the file is still in use, you will be notified as in the following example:
grbcluster repo delete @training/glass4.mps fatal : Object is in use by [7fe26af5-fbec-4e23-ad58-9ab4539f98f3]
The file may still be in use because a batch is running, or because the client did not yet download the results and discard the batch. Once there are no more references, the file will be deleted and you can check the container again:
> grbcluster repo delete @training/glass4.mps > grbcluster repo list --container=training ID CONTAINER NAME CREATED SIZE USER USERID
