search

pharo-project / pharo-launcher

Lets you manage your pharo images and download new ones
https://pharo-project.github.io/pharo-launcher/
MIT License
109 stars 46 forks source link

Not able to delete an image with pharo attached to a github repository #619

Open Mathilde411 opened 1 year ago

Mathilde411 commented 1 year ago

When trying to delete an image where a pharo github repository is attached to the image, it refuses with error

DirectoryIsNotEmpty: File @ ~/Pharo/images/Test-Image/pharo-local/iceberg/pharo-project/pharo/bootstrap/src/Pharo30Bootstrap

To Reproduce Steps to reproduce the behavior:

  1. Open a new image
  2. Open iceberg
  3. Link a local repository to System -> pharo by cloning github:/pharo-project/pharo for example
  4. Repair the repository
  5. Save and close the image
  6. Try deleting the created image in pharo-launcher

Expected behavior The image is deleted without any problem.

Version information: