Skip to content
This repository was archived by the owner on Feb 24, 2025. It is now read-only.

chore: remove profile.d entry that creates .justfile on $HOME #364

Merged
merged 3 commits into from
Feb 18, 2025

Conversation

tulilirockz
Copy link
Contributor

@tulilirockz tulilirockz commented Feb 18, 2025

This is unnecessary because we already have ujust now and this conflicts with user-placed Justfiles on $HOME. Would really prefer not to touch the users $HOME directory in that way.

The documentation mentioned on that script is also outdated and may confuse some people unnecessarily

@KyleGospo KyleGospo enabled auto-merge February 18, 2025 03:30
KyleGospo
KyleGospo previously approved these changes Feb 18, 2025
bsherman
bsherman previously approved these changes Feb 18, 2025
Copy link
Contributor

@bsherman bsherman left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM but @tulilirockz looks like there's a conflict you'll need to resolve.

@bsherman bsherman disabled auto-merge February 18, 2025 05:07
@bsherman bsherman dismissed stale reviews from KyleGospo and themself via 802e746 February 18, 2025 05:09
@bsherman bsherman enabled auto-merge February 18, 2025 05:10
@bsherman bsherman requested a review from KyleGospo February 18, 2025 05:10
@bsherman bsherman added this pull request to the merge queue Feb 18, 2025
Merged via the queue into ublue-os:main with commit 7a17e6e Feb 18, 2025
3 checks passed
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants