Skip to content

Handle working and broken links in removePathForcibly#20

Merged
melsman merged 3 commits into
diku-dk:masterfrom
pzel:make-removePathForcibly-handle-links
Jun 17, 2026
Merged

Handle working and broken links in removePathForcibly#20
melsman merged 3 commits into
diku-dk:masterfrom
pzel:make-removePathForcibly-handle-links

Conversation

@pzel

@pzel pzel commented Jun 17, 2026

Copy link
Copy Markdown
Contributor

When doing smlpkg sync on dependencies with symbolic links checked into git, removePathForcibly would crash with a ENOENT error.

I extracted a getDirectoryContents function to make it clearer what we're recursing on when deleting non-empty directories, and also added some predicates for detecting files, links, and broken links.

@melsman melsman left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Nice - see comments...

Comment thread src/util/system.sml Outdated
Comment thread src/util/system.sml Outdated
@melsman melsman merged commit af7afda into diku-dk:master Jun 17, 2026
2 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants