fix: replace rofi-wayland with rofi in package list and migration script

[rubiin]

Pull Request

Description

Please read these instructions and remove unnecessary text.

• Try to include a summary of the changes and which issue is fixed.
• Also include relevant motivation and context (if applicable).
• Make sure to make PR against dev and not the master
• List any dependencies that are required for this change. (e.g., packages or other PRs)
• Provide a link if there is an issue related to this pull request. e.g., Fixes # (issue)
• Please add Reviewers, Assignees, Labels, Projects, and Milestones to the PR. (if applicable)

Type of change

Please put an x in the boxes that apply:

• Bug fix (non-breaking change which fixes an issue)
• New feature (non-breaking change which adds functionality)
• Breaking change (fix or feature that would cause existing functionality to not work as expected)
• Documentation update (non-breaking change; modified files are limited to the documentations)
• Technical debt (a code change that does not fix a bug or add a feature but makes something clearer for devs)
• Other (provide details below)

Checklist

Please put an x in the boxes that apply:

• I have read the CONTRIBUTING document.
• My code follows the code style of this project.
• My commit message follows the commit guidelines.
• My change requires a change to the documentation.
• I have updated the documentation accordingly.
• I have added a changelog entry.
• I have added necessary comments/documentation to my code.
• I have added tests to cover my changes.
• I have tested my code locally and it works as expected.
• All new and existing tests passed.

Screenshots

(if appropriate)

Additional context

Add any other context about the problem here.

[github-actions]

⚠️ Warning: PR targeting master branch detected!

This PR is targeting master but should target dev instead.

According to our Quarterly Release Policy:

• All pull requests must be submitted to the dev branch
• Changes go through dev first for testing before being merged to master during quarterly release windows (1st & 3rd Fridays)
• PRs to master are only allowed for emergencies

Required Action:

1. Change the base branch from master to dev
2. Follow the pull request template

If this is an emergency fix, please add a comment explaining why it needs to target master directly.

---

This is an automated message enforcing our quarterly release workflow.

[rubiin]

This is for master as discussed

[Copilot]

Pull Request Overview

Replaces rofi-wayland with rofi in the core package list to fix package compatibility issues, with a migration script to handle the transition.

• Updated core package list to use rofi instead of rofi-wayland
• Added migration script to automate the package replacement process

Reviewed Changes

Copilot reviewed 2 out of 2 changed files in this pull request and generated 2 comments.

File	Description
Scripts/pkg_core.lst	Replaced rofi-wayland with rofi in the application launcher package entry
Scripts/migrations/v25.9.1.sh	Added migration script to uninstall rofi-wayland and install rofi

---

_{Tip: Customize your code reviews with copilot-instructions.md. Create the file or learn how to get started.}

[github-actions]

⚠️ Warning: PR targeting master branch detected!

This PR is targeting master but should target dev instead.

According to our Quarterly Release Policy:

• All pull requests must be submitted to the dev branch
• Changes go through dev first for testing before being merged to master during quarterly release windows (1st & 3rd Fridays)
• PRs to master are only allowed for emergencies

Required Action:

1. Change the base branch from master to dev
2. Follow the pull request template

If this is an emergency fix, please add a comment explaining why it needs to target master directly.

---

This is an automated message enforcing our quarterly release workflow.

[kRHYME7]

Thank you @rubiin