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

fix: source $HOME/.profile #107

Merged
merged 2 commits into from
Jun 14, 2022
Merged

fix: source $HOME/.profile #107

merged 2 commits into from
Jun 14, 2022

Conversation

tsic404
Copy link
Contributor

@tsic404 tsic404 commented May 27, 2022

source $HOME/.profile
fix linuxdeepin/developer-center#2368

Log: source $HOME/.profile

source $HOME/.profile

Log: source $HOME/.profile

Issue: linuxdeepin/developer-center#2368
@myml
Copy link
Member

myml commented May 27, 2022

/check

@tsic404 tsic404 requested a review from zccrs May 27, 2022 08:23
@tsic404
Copy link
Contributor Author

tsic404 commented Jun 14, 2022

/merge

@deepin-bot deepin-bot bot merged commit 1fce9ce into linuxdeepin:master Jun 14, 2022
@tsic404 tsic404 deleted the profile_fix branch June 15, 2022 03:12
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.

DDE should source $HOME/.profile
4 participants