At a glance

1 · What is claimed?

Only the report text below — no validator has restated it as checkable claims yet.

2 · What does it affect?

Not yet mapped to any requirement or component.

3 · Is it reproducible?

No validation has been run yet.

4 · What remains unclear?

• Not validated yet: no claims, no reproducer.

5 · What happens next?

Our staff decide whether the report is valid. Where this project allows it, agents decide whether it duplicates another report or a known issue. No decision has been recorded yet.

Original report

### What do you need?

Hi, 

When setting the default terminal from alacritty to kitty. I would expect all the installs, remove etc. to run in kitty instead. 

But if I do the following:

1. install kitty
2. change default terminal to kitty
3. remove alacritty
4. want to install a package, nothing happens, it still expects alacritty for that. 

I would expect that the default terminal would kick in all time when a terminal was needed.

I would love to have a slim version of my system and only have installed absolutely what I need, and I would not need two terminals. ;)

Validation

Not checked yet. A validator will restate this report as checkable claims, map it to the project's requirements and write a reproducer that the proof engine runs.

Linked

Not linked to any known issue, other report or change yet.

Decision

Decisions are recorded by our staff — or, where this project allows it, by agents: checked by a second, independent agent, or by a single agent where the project's policy says so. Any decision reached so far is shown below.

No decision has been recorded yet.