Skip to content

Improvements for Dump paper commands#12512

Merged
Owen1212055 merged 2 commits into
PaperMC:mainfrom
Doc94:feature/improvements-for-dumps-paper-command
May 6, 2025
Merged

Improvements for Dump paper commands#12512
Owen1212055 merged 2 commits into
PaperMC:mainfrom
Doc94:feature/improvements-for-dumps-paper-command

Conversation

@Doc94
Copy link
Copy Markdown
Member

@Doc94 Doc94 commented May 2, 2025

This PR make a few improvements in the dump commands added in Paper.

  • dumplisteners
    • improvements in messages
    • use same logic for log error when failed to create file like dumpplugins
    • add copy-to-clipboard for copy the path of directory/files created
    • replace the use of deprecated setLenient in favor of the new stricness
    • change the extension of generated file to JSON
  • dumpplugins
    • improvements in messages
    • handle a possible error not catched if the directory cannot be created
    • add copy-to-clipboard for copy the path of directory/files created

not sure why IntelliJ dont really like the nullable annotations used from checkerframework

@Doc94 Doc94 requested a review from a team as a code owner May 2, 2025 15:53
@github-project-automation github-project-automation Bot moved this to Awaiting review in Paper PR Queue May 2, 2025
@lynxplay lynxplay force-pushed the feature/improvements-for-dumps-paper-command branch from e497210 to 5eabd4d Compare May 6, 2025 20:29
@lynxplay lynxplay force-pushed the feature/improvements-for-dumps-paper-command branch from 5eabd4d to daa2b04 Compare May 6, 2025 20:33
@github-project-automation github-project-automation Bot moved this from Awaiting review to Awaiting final testing in Paper PR Queue May 6, 2025
@Owen1212055 Owen1212055 merged commit 753cff7 into PaperMC:main May 6, 2025
3 checks passed
@github-project-automation github-project-automation Bot moved this from Awaiting final testing to Merged in Paper PR Queue May 6, 2025
@Doc94 Doc94 deleted the feature/improvements-for-dumps-paper-command branch May 7, 2025 15:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Merged

Development

Successfully merging this pull request may close these issues.

3 participants