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

if [[ -n "$BASHRC_LOADED" ]]; then
  return
fi
export BASHRC_LOADED=1

echo $PATH | tr ':' '\n' | sort

### System details

Omarchy 3.1.1

### What's wrong?

I changed `$PATH` in `$HOME/.bashrc`. And I found that they've been added twice in `$PATH`.
My workaround is to add the following guard at the beginning of `$HOME/.bashrc` file but after `source ~/.local/share/omarchy/default/bash/rc`:

```shell
if [[ -n "$BASHRC_LOADED" ]]; then
  return
fi
export BASHRC_LOADED=1
```

Then I found that each of the path I added occurs only once in `$PATH`. But `$HOME/.local/bin` occurs twice still. I found it's added in `$HOME/.local/share/omarchy/default/bash/shell`. So I guess it's also sourced twice?

I didn't find the root cause of the reason why `$HOME/.bashrc` was sourced twice.

This is a simple way to check whether there is a duplicate in your `$PATH`:

```shell
echo $PATH | tr ':' '\n' | sort
```

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.