Skip to content

✨ feat(script): add file/dir removal to patching#14

Merged
hwhsu1231 merged 1 commit intomainfrom
patch-support-rm
Feb 13, 2026
Merged

✨ feat(script): add file/dir removal to patching#14
hwhsu1231 merged 1 commit intomainfrom
patch-support-rm

Conversation

@hwhsu1231
Copy link
Copy Markdown
Member

Improve the handling of patch files by adding support for removing files and directories based on specific suffixes. The following changes were made:

  • Add logic to remove files with the .rmfile suffix.
  • Add logic to remove directories with the .rmdir suffix.

Synced from: localizethedocs/asterinas-book-l10n@a46b613

Improve the handling of patch files by adding support for
removing files and directories based on specific suffixes.
The following changes were made:

- Add logic to remove files with the `.rmfile` suffix.
- Add logic to remove directories with the `.rmdir` suffix.

Synced from: localizethedocs/asterinas-book-l10n@a46b613
@hwhsu1231 hwhsu1231 merged commit 4a881df into main Feb 13, 2026
3 checks passed
@hwhsu1231 hwhsu1231 deleted the patch-support-rm branch February 13, 2026 02:50
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.

1 participant