Skip to content

Use $HOME for sourcing bashrc.bash - #135

Merged
tucked merged 1 commit into
mainfrom
bashrc-home
Aug 27, 2026
Merged

tucked merged 1 commit into
mainfrom
bashrc-home

Conversation

@tucked

@tucked tucked commented Aug 27, 2026

Copy link
Copy Markdown
Collaborator

Make sharing .bashrc on machines with different homes a little smoother.

Make sharing .bashrc on machines with different homes a little smoother.
@tucked
tucked marked this pull request as ready for review August 27, 2026 00:21
@tucked
tucked merged commit 731600a into main Aug 27, 2026
2 checks passed
@tucked
tucked deleted the bashrc-home branch August 27, 2026 00:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant