##// END OF EJS Templates
Backport PR #2511: trigger default remote_profile_dir when profile_dir is set...
Backport PR #2511: trigger default remote_profile_dir when profile_dir is set in SSHLaunchers remote_profile_dir_default could be triggered before profile_dir was set, resulting in an empty remote_profile_dir, causing failures.
MinRK -
r9833:0df9d99d
Show More
Name Size Modified Last Commit Author
/ IPython / core / magics
__init__.py Loading ...
auto.py Loading ...
basic.py Loading ...
code.py Loading ...
config.py Loading ...
deprecated.py Loading ...
execution.py Loading ...
extension.py Loading ...
history.py Loading ...
logging.py Loading ...
namespace.py Loading ...
osm.py Loading ...
pylab.py Loading ...
script.py Loading ...