I'm astonished to discover that I don't actually know the answer to this question, but how do I delete a JMP data file that's been stored on disk from within JSL? I need to carry out some elementary file management from a dashboard that I've created, and two of the functions I need to perform are (a) deleting and (b) renaming JMP data sets that I've saved to disk. Can anyone tell me how to do that, please?
By an incredible coincidence I've just discovered that I need to do exactly this sort of thing again myself after what I'm seriously embarrassed to see is a gap of getting on for two years since I posed the original question - and it works perfectly. A belated many thanks, MattF.