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

source ~/.profile for upgrading (to source the proxy configuration) #1883

Merged

Conversation

gsemet
Copy link
Contributor

@gsemet gsemet commented Jun 11, 2013

This ensure a configuration file is read when the upgrade process is launched. This read the proxy configuration set up in the ~/.profile file.

Signed-off-by: Gaetan Semet <gaetan@xeberon.net>
robbyrussell added a commit that referenced this pull request Dec 3, 2013
…_upgrade

source ~/.profile for upgrading (to source the proxy configuration)
@robbyrussell robbyrussell merged commit f48d675 into ohmyzsh:master Dec 3, 2013
@pstadler
Copy link
Contributor

pstadler commented Dec 3, 2013

@MPV see #2296

hughdbrown pushed a commit to hughdbrown/oh-my-zsh that referenced this pull request Dec 6, 2013
…ile_for_upgrade

source ~/.profile for upgrading (to source the proxy configuration)
feltnerm added a commit to feltnerm/oh-my-zsh that referenced this pull request Jan 15, 2014
Reverts ohmyzsh#2296, but mostly ohmyzsh#1883. 

There is no need to source ~/.profile when this script is read. oh-my-zsh writes no configuration data in ~/.profile.

If the user wishes to use data within ~/.profile, then they should source it in another place.

Fixes ohmyzsh#2315
ncanceill pushed a commit to ncanceill/oh-my-zsh that referenced this pull request May 24, 2014
Reverts ohmyzsh#2296, but mostly ohmyzsh#1883.

There is no need to source ~/.profile when this script is read. oh-my-zsh writes no configuration data in ~/.profile.

If the user wishes to use data within ~/.profile, then they should source it in another place.

Fixes ohmyzsh#2315
LucasRoesler pushed a commit to LucasRoesler/oh-my-zsh that referenced this pull request Jul 22, 2014
Reverts ohmyzsh#2296, but mostly ohmyzsh#1883.

There is no need to source ~/.profile when this script is read. oh-my-zsh writes no configuration data in ~/.profile.

If the user wishes to use data within ~/.profile, then they should source it in another place.

Fixes ohmyzsh#2315
erwinvaneijk pushed a commit to erwinvaneijk/oh-my-zsh that referenced this pull request Sep 8, 2014
Reverts ohmyzsh#2296, but mostly ohmyzsh#1883.

There is no need to source ~/.profile when this script is read. oh-my-zsh writes no configuration data in ~/.profile.

If the user wishes to use data within ~/.profile, then they should source it in another place.

Fixes ohmyzsh#2315
benjaoming pushed a commit to benjaoming/oh-my-zsh that referenced this pull request Nov 28, 2014
Reverts ohmyzsh#2296, but mostly ohmyzsh#1883.

There is no need to source ~/.profile when this script is read. oh-my-zsh writes no configuration data in ~/.profile.

If the user wishes to use data within ~/.profile, then they should source it in another place.

Fixes ohmyzsh#2315
mcornella pushed a commit to mcornella/ohmyzsh that referenced this pull request Dec 15, 2014
Reverts ohmyzsh#2296, but mostly ohmyzsh#1883.

There is no need to source ~/.profile when this script is read. oh-my-zsh writes no configuration data in ~/.profile.

If the user wishes to use data within ~/.profile, then they should source it in another place.

Fixes ohmyzsh#2315
kkholst pushed a commit to kkholst/oh-my-zsh that referenced this pull request Jan 3, 2015
Reverts ohmyzsh#2296, but mostly ohmyzsh#1883.

There is no need to source ~/.profile when this script is read. oh-my-zsh writes no configuration data in ~/.profile.

If the user wishes to use data within ~/.profile, then they should source it in another place.

Fixes ohmyzsh#2315
kenton pushed a commit to kenton/oh-my-zsh that referenced this pull request Jan 9, 2015
Reverts ohmyzsh#2296, but mostly ohmyzsh#1883.

There is no need to source ~/.profile when this script is read. oh-my-zsh writes no configuration data in ~/.profile.

If the user wishes to use data within ~/.profile, then they should source it in another place.

Fixes ohmyzsh#2315
LunaCodeGirl pushed a commit to LunaCodeGirl/oh-my-zsh that referenced this pull request Feb 23, 2015
Reverts ohmyzsh#2296, but mostly ohmyzsh#1883.

There is no need to source ~/.profile when this script is read. oh-my-zsh writes no configuration data in ~/.profile.

If the user wishes to use data within ~/.profile, then they should source it in another place.

Fixes ohmyzsh#2315
forivall pushed a commit to forivall/oh-my-zsh that referenced this pull request Apr 26, 2015
Reverts ohmyzsh#2296, but mostly ohmyzsh#1883.

There is no need to source ~/.profile when this script is read. oh-my-zsh writes no configuration data in ~/.profile.

If the user wishes to use data within ~/.profile, then they should source it in another place.

Fixes ohmyzsh#2315
e2 pushed a commit to e2/oh-my-zsh that referenced this pull request Jul 8, 2015
Reverts ohmyzsh#2296, but mostly ohmyzsh#1883.

There is no need to source ~/.profile when this script is read. oh-my-zsh writes no configuration data in ~/.profile.

If the user wishes to use data within ~/.profile, then they should source it in another place.

Fixes ohmyzsh#2315
NobbZ pushed a commit to NobbZ/oh-my-zsh that referenced this pull request May 15, 2016
Reverts ohmyzsh#2296, but mostly ohmyzsh#1883.

There is no need to source ~/.profile when this script is read. oh-my-zsh writes no configuration data in ~/.profile.

If the user wishes to use data within ~/.profile, then they should source it in another place.

Fixes ohmyzsh#2315
NobbZ pushed a commit to NobbZ/oh-my-zsh that referenced this pull request May 15, 2016
Reverts ohmyzsh#2296, but mostly ohmyzsh#1883.

There is no need to source ~/.profile when this script is read. oh-my-zsh writes no configuration data in ~/.profile.

If the user wishes to use data within ~/.profile, then they should source it in another place.

Fixes ohmyzsh#2315
fforw pushed a commit to fforw/oh-my-zsh that referenced this pull request Feb 21, 2017
Reverts ohmyzsh#2296, but mostly ohmyzsh#1883.

There is no need to source ~/.profile when this script is read. oh-my-zsh writes no configuration data in ~/.profile.

If the user wishes to use data within ~/.profile, then they should source it in another place.

Fixes ohmyzsh#2315
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

5 participants