##// END OF EJS Templates
Merge pull request #1568 from minrk/fixssh...
Merge pull request #1568 from minrk/fixssh fix PR #1567 PR #1567 fixed an issue where ssh server would not recognize custom ssh server ports. However, it broke another case by forcing local username if it is unspecified. ssh config should be trusted with the default username.

File last commit:

r2267:928c921b
r6432:f30a5729 merge
Show More
ipy_profile_none.py
3 lines | 132 B | text/x-python | PythonLexer
vivainio
crlf cleanup
r680 """ Config file for 'default' profile """
# get various stuff that are there for historical / familiarity reasons
vivainio
moved many magics to ipy_legacy.py, moved profiles to Extension from UserConfig, added ipy_profile_none.py for default profile
r678 import ipy_legacy