Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

run the shell in login mode when an interactive session is run #73

Merged
merged 4 commits into from
Dec 19, 2023

Conversation

francoismichel
Copy link
Owner

Ensure we actually run the shell in login mode.
This makes bash process the ~/.profile file at startup.

@francoismichel francoismichel merged commit effbb00 into main Dec 19, 2023
7 checks passed
@francoismichel francoismichel deleted the shell_login_mode branch December 19, 2023 22:56
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.

None yet

1 participant